Category:数理論理学
空虚な真
Vacuous truth無限論理
Infinitary logic
逆関係
Converse relation
ロッサーのからくり
Rosser's trick
十分条件
Sufficient condition
自己検証理論
Self-verifying theories
有限モデル理論
Finite model theory
合流性
Confluence (abstract rewriting)
チューリング次数
Turing degree
完全関係
Connected relation
吸収法則
Absorption law
部分構造論理
Substructural logic
ハイティング代数
Heyting algebra
制約論理プログラミング
Constraint logic programming
二階述語論理
Second-order logic
記述計算量
Descriptive complexity theory
節標準形
Smn定理
Smn theorem
後者関数
Successor function原子論理式
Atomic formula
DPLLアルゴリズム
DPLL algorithm
命題関数
Propositional function
プレスバーガー算術
Presburger arithmetic
証明論
Proof theory
再帰理論
計算可能関数
Computable function
デデキント数
Dedekind number
タルスキの定義不可能性定理
Tarski's undefinability theorem