Similar to カット除去定理
ブール領域
Boolean domain
不動点コンビネータ
Fixed-point combinator
部分構造論理
Substructural logic
ブラリ＝フォルティのパラドックス
Burali-Forti paradox
プレスバーガー算術
Presburger arithmetic
負論理
Logic level
並行制約プログラミング
Concurrent constraint logic programming
並行論理プログラミング
Concurrent logic programming
変数 (数学)
Variable (mathematics)
マーティンの公理
Martin's axiom無限
Infinity
無限論理
Infinitary logic
矛盾許容論理
Paraconsistent logic
命題関数
Propositional function
メタ理論
Metatheoryメタ論理学
Metalogic
モデル理論
Model theory
有限演算
Finitaryラムダ計算
Lambda calculus連言標準形
Conjunctive normal form
ロッサーのからくり
Rosser's trick
論理式 (数学)
Logical formula
論理プログラミング
Logic programming
演繹定理
Deduction theorem
カントールの定理
Cantor's theoremクリーネの再帰定理
Kleene's recursion theorem
ケーニヒの定理 (集合論)
König's theorem (set theory)コンパクト性定理
Compactness theorem
