Category:数理論理学
論理式 (数学)
Logical formula
自己認識論理
Autoepistemic logic
DPLLアルゴリズム
DPLL algorithm
定義可能集合
Definable set
逆関係
Converse relation
保存拡大
Conservative extension
命題関数
Propositional function
ススリンの問題
Suslin's problem
合流性
Confluence (abstract rewriting)
並行論理プログラミング
Concurrent logic programming
公理図式
Axiom schema
帰納的可算言語
Recursively enumerable language
有限演算
Finitary
ロッサーのからくり
Rosser's trick
制約論理プログラミング
Constraint logic programming
レーブの定理
Löb's theorem
十分条件
Sufficient condition
超数学
Metamathematics
ハルモス代数
Polyadic algebra
フーリエ・モツキンの消去法
Fourier–Motzkin elimination
並行制約プログラミング
Concurrent constraint logic programming原始再帰関数
Primitive recursive function原子論理式
Atomic formula
議論領域
Domain of discourse必要条件
Necessary condition
ブラリ＝フォルティのパラドックス
Burali-Forti paradox無限論理
Infinitary logic
ブール領域
Boolean domain