Similar to カット除去定理
ゲーム意味論
Game semantics決定可能性
Decidability (logic)原始再帰関数
Primitive recursive function原子論理式
Atomic formula高階述語論理
Higher-order logic項書き換え
Rewriting構成規則
Formation rule構造的帰納法
Structural induction公理図式
Axiom schema合流性
Confluence (abstract rewriting)古典論理
Classical logic再帰
Recursion▼-1 trends再帰的定義
Recursive definition再帰理論
シークエント計算
Sequent calculus自己検証理論
Self-verifying theories自己認識論理
Autoepistemic logic時相論理
Temporal logic自動推論
Automated reasoning十分条件
Sufficient condition述語論理
Predicate logic初等同値性
Elementary equivalence神託機械
Oracle machine真理関数
Truth function推移関係
Transitive relation数学基礎論
Foundations of mathematicsススリンの問題
Suslin's problem制約論理プログラミング
Constraint logic programming