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