Similar to 議論領域
メレオロジー
Mereology恒真式
Tautology (logic)述語論理
Predicate logic一階述語論理
First-order logic原子論理式
Atomic formula高階述語論理
Higher-order logic二階述語論理
Second-order logicフーリエ・モツキンの消去法
Fourier–Motzkin elimination命題関数
Propositional function量化
論理式 (数学)
Logical formulaアッカーマン関数
Ackermann functionアリティ
Arity型理論
Type theoryカット除去定理
Cut-elimination theoremクレイグの補間定理
Craig interpolation後者関数
Successor functionハイティング代数
Heyting algebraハルモス代数
Polyadic algebraプリンキピア・マテマティカ
Principia Mathematica有限モデル理論
Finite model theoryDPLLアルゴリズム
DPLL algorithmSmn定理
Smn theoremアルゴリズム
Algorithm意味論 (論理学)
Semanticsゲーム意味論
Game semantics再帰的定義
Recursive definitionΜ再帰関数
General recursive function