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