Category:数理論理学
カット除去定理
Cut-elimination theorem
メタ理論
Metatheory
ブール関数
Boolean function
ゲーデルの完全性定理
Gödel's completeness theorem
吸収法則
Absorption law
ブラリ＝フォルティのパラドックス
Burali-Forti paradox
帰納的可算集合
Computably enumerable set
置換公理
Axiom schema of replacement超現実数
Surreal number
導出原理
Resolution (logic)原子論理式
Atomic formula
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm無限論理
Infinitary logic
時相論理
Temporal logic
証明論
Proof theory
プレスバーガー算術
Presburger arithmetic
カントールの往復論法
Back-and-forth method
反射関係
Reflexive relation
高階述語論理
Higher-order logic
対称関係
Symmetric relation
デービス・パトナムのアルゴリズム
Davis–Putnam algorithm
メレオロジー
Mereology
型理論
Type theoryメタ論理学
Metalogic
逆関係
Converse relation
有限演算
Finitary
自動推論
Automated reasoning
並行論理プログラミング
Concurrent logic programming