Similar to 古典論理
述語論理
Predicate logic
論理学の歴史
History of logic
インド論理学
Indian logic
因明
Buddhist logico-epistemology
ヤン・ウカシェヴィチ
Jan Łukasiewicz
オルガノン
Organon
恵施
Hui Shi
公孫竜
Gongsun Long
公孫龍子
Gongsun Longzi
集量論
Pramāṇa-samuccaya
陳那
Dignāga
存在グラフ
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