Similar to 古典論理
存在グラフ
Existential graph
代示
Supposition theory
中国における論理学
Logic in China
ニヤーヤ学派
Nyaya
ノヴム・オルガヌム
Novum Organum
白馬非馬
White Horse Dialogue
プラマーナ
Pramana
分析論前書
Prior Analytics法称
Dharmakirti
ポール・ロワイヤル論理学
Port-Royal Logic
名家 (諸子百家)
School of Names
メガラ学派
Megarian school
ロゴス
Logos
数理論理学
Mathematical logic
DPLLアルゴリズム
DPLL algorithm
Smn定理
Smn theorem
アルゴリズム
Algorithm▲1 trends一階述語論理
First-order logic
一般と特殊 (数学)
Special case
意味論 (論理学)
Semantics
宇宙 (数学)
Universe (mathematics)
エルブランの定理
Herbrand's theorem
型理論
Type theory
カット除去定理
Cut-elimination theorem
関係 (数学)
Finitary relation
関係代数 (数学)
Relation algebra
関係の合成
Composition of relations
完全関係
Connected relation