Category:数理論理学
並行論理プログラミング
Concurrent logic programming
変数 (数学)
Variable (mathematics)
保存拡大
Conservative extension
メタ理論
Metatheory
論理式 (数学)
Logical formula
自己認識論理
Autoepistemic logic
有限演算
Finitary
マーティンの公理
Martin's axiom
自己検証理論
Self-verifying theories
形式の法則
Laws of Form
初等関数算術
Elementary function arithmetic
定義可能集合
Definable set
議論領域
Domain of discourse
対称関係
Symmetric relation
ブール値関数
Boolean-valued function
強制法
Forcing (mathematics)クレイグの補間定理
Craig interpolation原子論理式
Atomic formula
帰納的可算言語
Recursively enumerable language
後者関数
Successor function
導出原理
Resolution (logic)
ハルモス代数
Polyadic algebra
フーリエ・モツキンの消去法
Fourier–Motzkin elimination
デービス・パトナムのアルゴリズム
Davis–Putnam algorithm
対角化定理
Diagonal lemma
Smn定理
Smn theorem
ブール関数
Boolean function
命題関数
Propositional function