Category:数理論理学
カット除去定理
Cut-elimination theorem
負論理
Logic level
自動推論
Automated reasoning
論理プログラミング
Logic programming
数学基礎論
Foundations of mathematics
形式体系
Formal system
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm
Μ再帰関数
General recursive function
ブール値関数
Boolean-valued function
エルブランの定理
Herbrand's theorem
議論領域
Domain of discourse
保存拡大
Conservative extension
帰納言語
Recursive language
対称関係
Symmetric relation
決定可能性
Decidability (logic)
カントールの往復論法
Back-and-forth method
公理図式
Axiom schema
関係の合成
Composition of relations
部分構造論理
Substructural logic
並行論理プログラミング
Concurrent logic programming
有限演算
Finitary
パリス＝ハーリントンの定理
Paris–Harrington theorem
対角化定理
Diagonal lemma
線形論理
Linear logic
節標準形
デービス・パトナムのアルゴリズム
Davis–Putnam algorithm
タルスキの定義不可能性定理
Tarski's undefinability theorem
ブール領域
Boolean domain