Category:数理論理学
論理プログラミング
Logic programming
メレオロジー
Mereology矛盾許容論理
Paraconsistent logic
プリンキピア・マテマティカ
Principia Mathematica原始再帰関数
Primitive recursive function
計算可能性理論
Computability theory超現実数
Surreal number
メタ理論
Metatheory
DPLLアルゴリズム
DPLL algorithm
逆数学
Reverse mathematics
ゲーム意味論
Game semantics
反射関係
Reflexive relation
カントールの往復論法
Back-and-forth methodクレイグの補間定理
Craig interpolation無限論理
Infinitary logic
合流性
Confluence (abstract rewriting)
逆関係
Converse relation
記述計算量
Descriptive complexity theory再帰的定義
Recursive definition
ロッサーのからくり
Rosser's trick
並行制約プログラミング
Concurrent constraint logic programming
レーブの定理
Löb's theorem
Smn定理
Smn theorem
チューリング次数
Turing degree
十分条件
Sufficient condition
フーリエ・モツキンの消去法
Fourier–Motzkin elimination
命題関数
Propositional function
制約論理プログラミング
Constraint logic programming