Category:数理論理学
アルゴリズム
Algorithm▲1 trends
ハイティング代数
Heyting algebra
ブール代数
Boolean algebra (structure)
高階述語論理
Higher-order logic
恒真式
Tautology (logic)ゲーデル数
Gödel numbering矛盾許容論理
Paraconsistent logic
帰納的可算集合
Computably enumerable set
型理論
Type theory
線形論理
Linear logic
メレオロジー
Mereology
吸収法則
Absorption law
ブラリ＝フォルティのパラドックス
Burali-Forti paradox
述語論理
Predicate logic
時相論理
Temporal logic
部分構造論理
Substructural logic原始再帰関数
Primitive recursive function
DPLLアルゴリズム
DPLL algorithm真理関数
Truth function
導出原理
Resolution (logic)
ゲーム意味論
Game semantics
負論理
Logic level無限論理
Infinitary logic
カントールの往復論法
Back-and-forth method
命題関数
Propositional function
メタ論理学
Metalogic
タルスキの定義不可能性定理
Tarski's undefinability theoremクレイグの補間定理
Craig interpolation