Category:数理論理学
数学基礎論
Foundations of mathematics
高階述語論理
Higher-order logic
証明論
Proof theory
カット除去定理
Cut-elimination theorem
線形論理
Linear logic
ハイティング代数
Heyting algebra
論理プログラミング
Logic programming
計算可能性理論
Computability theory
エルブランの定理
Herbrand's theorem
再帰理論
反射関係
Reflexive relation
パースの法則
Peirce's law
時相論理
Temporal logic
完全性
Completeness (logic)
吸収法則
Absorption law
逆数学
Reverse mathematics
カントールの往復論法
Back-and-forth method真理関数
Truth functionクレイグの補間定理
Craig interpolation
決定可能性
Decidability (logic)
関係の合成
Composition of relations
対称関係
Symmetric relation
部分構造論理
Substructural logic
並行制約プログラミング
Concurrent constraint logic programming
構造的帰納法
Structural induction
グッドスタインの定理
Goodstein's theorem
初等関数算術
Elementary function arithmetic
数理論理学
Mathematical logic