Similar to 矛盾許容論理
確率論理
Probabilistic logic
多値論理
Many-valued logic
中間論理
Intermediate logic
ファジィ論理
Fuzzy logic
論理和の導入
Disjunction introduction
グレアム・プリースト
Graham Priest
分配法則
Distributive property
ジャン＝イヴ・ベジオ
Jean-Yves Béziau
数理論理学
Mathematical logic一階述語論理
First-order logic
一般と特殊 (数学)
Special case
意味論 (論理学)
宇宙 (数学)
Universe (mathematics)
エルブランの定理
Herbrand's theorem
型理論
Type theory
カット除去定理
Cut-elimination theorem
関係 (数学)
Finitary relation
関係代数 (数学)
Relation algebra
関係の合成
Composition of relations
完全関係
Connected relation
完全性
Completeness (logic)
カントールの往復論法
Back-and-forth method
記述計算量
Descriptive complexity theory
帰納言語
Recursive language
帰納的可算言語
Recursively enumerable language
帰納的可算集合
Computably enumerable set
逆関係
Converse relation
逆数学
Reverse mathematics