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