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 theory
DPLLアルゴリズム
DPLL algorithm
Smn定理
Smn theorem
アルゴリズム
Algorithm
意味論 (論理学)
ゲーム意味論
Game semantics再帰的定義
Recursive definition
Μ再帰関数
General recursive function