Category:数理論理学
再帰理論
プレスバーガー算術
Presburger arithmetic
デデキント数
Dedekind number
ゲーデルの完全性定理
Gödel's completeness theorem
並行論理プログラミング
Concurrent logic programming
対角化定理
Diagonal lemma
ヒルベルト・プログラム
Hilbert's program
強制法
Forcing (mathematics)連言標準形
Conjunctive normal form
置換公理
Axiom schema of replacement
パリス＝ハーリントンの定理
Paris–Harrington theorem
並行制約プログラミング
Concurrent constraint logic programming
自動推論
Automated reasoning
エルブランの定理
Herbrand's theorem
数学基礎論
Foundations of mathematics
反射関係
Reflexive relation矛盾許容論理
Paraconsistent logic
時相論理
Temporal logic
ブール関数
Boolean functionクレイグの補間定理
Craig interpolation
メタ理論
Metatheory真理関数
Truth function
論理プログラミング
Logic programming再帰的定義
Recursive definition
導出原理
Resolution (logic)
カット除去定理
Cut-elimination theorem
古典論理
Classical logic
線形時相論理
Linear temporal logic