Category:数理論理学
逆関係
Converse relation
制約論理プログラミング
Constraint logic programming
節標準形
必要条件
Necessary condition
古典論理
Classical logic
公理図式
Axiom schema
メタ論理学
Metalogic
自動推論
Automated reasoning
完全性
Completeness (logic)
タルスキの定義不可能性定理
Tarski's undefinability theorem
ハイティング代数
Heyting algebra
線形時相論理
Linear temporal logic
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm
ゲーム意味論
Game semantics
負論理
Logic level
DPLLアルゴリズム
DPLL algorithm
帰納的可算集合
Computably enumerable set再帰的定義
Recursive definition
二階述語論理
Second-order logic
置換公理
Axiom schema of replacement
恒真式
Tautology (logic)
グッドスタインの定理
Goodstein's theorem
パースの法則
Peirce's law
ゲーデルの完全性定理
Gödel's completeness theorem
吸収法則
Absorption law連言標準形
Conjunctive normal form
逆数学
Reverse mathematics真理関数
Truth function