Category:数理論理学
変数 (数学)
Variable (mathematics)
有限モデル理論
Finite model theory
論理式 (数学)
Logical formula
保存拡大
Conservative extension
定義可能集合
Definable set
対称関係
Symmetric relation
完全関係
Connected relation
ブール値関数
Boolean-valued function
ハルモス代数
Polyadic algebra
デービス・パトナムのアルゴリズム
Davis–Putnam algorithm
後者関数
Successor function
決定可能性
Decidability (logic)
項書き換え
Rewriting
節標準形
公理図式
Axiom schema
対角化定理
Diagonal lemma
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm
自己認識論理
Autoepistemic logic原子論理式
Atomic formula
導出原理
Resolution (logic)
必要条件
Necessary condition
ススリンの問題
Suslin's problem
自動推論
Automated reasoning
構造的帰納法
Structural induction
帰納的可算集合
Computably enumerable set
Μ再帰関数
General recursive function
メタ論理学
Metalogic
帰納的可算言語
Recursively enumerable language