非標準論理
non-classical logic、non-standard logic、非古典論理
古典論理を含む、非古典論理やその他論理の集藏。それぞれに似た體系がいっぱい有る旨を注意 universal logic
論理學とは、どのやうに正しく考へられるのか、また何故正しく考へうるのかを論及する學的思考である
命題論理 (propositional logic)
BCK 論理
グリシンの論理
構造規則を除いたもの
可補論理
多値 Boolean 論理 (多値可補分配論理)
可補 modular 論理
直交可補 modular 論理
可補非 modular 論理
非可補論理 (擬似否定・擬似含意)
多値全順序論理
標準體系
Gödel の體系
非可補分配論理
非可補 modular 論理
非可補一般論理
證明論 (proof theory)
自然演繹
證明論的意味論 (proof-theoretic semantics; PTS)
model 理論 (model theory)
眞理値表
model 論的意味論
再歸理論 (recursion theory)
述語論理 (predicate logic)
高階述語論理 (higher-order predicate logic; HOL) 自由論理 (free logic)
inclusive logic
存在述語
$ \lambda計算 (lambda caliculus)
Turing 機械 (Turing machine)
automaton
Turing 階層
原始歸納函數
論理 programming
GHC
Oz (Mozart)
證明論
Hilbert 流の演繹體系 (Hilbert-style deduction system)
自然演繹 (natural deduction)
竝列計算
actor model
petri net
max-plus 代數
communicating sequential processes (CSP)
$ \pi計算
session 型 (session type)
flow chart
囘路
data flow programming
狀況計算 (situation calculus)
證明可能性論理 (provability logic)
或る理論で$ \square pを「命題$ pが證明できる」と讀む
Löb の公理$ \square(\square p\to p)\to\square p
擴張
解釋可能性論理 (interpretability logics)
內包論理 (intentional logic)
非單調論理 (non-monotonic logic) 雙對直觀主義論理
歸納論理 (inductive logic)
確率論理 (probabilistic logic) 一般量化子 (generalized quantifier)
分岐量化子 (branching quantifier)
dependence logic
傳統的論理學
ギリシア論理學
アリストテレス (Ἀριστοτέλης) 論理學。名辭論理
對當の幾何 (oppisitional geometry) 辯論術
ストア派論理學。命題論理
England 經驗論の論理學
John Stuart Mill
「醫學典範」
一致法 (method of agreement）
差異法 (method of difference）
共變法 (method of concomitant variations)
一致差異倂用法 (joint method of agreement and difference)
剩餘法 (method of residues)
G. W. F. Hegel 辨證法論理學
インド論理學
認識論的論理學
ニヤーヤ學派
中華論理學
墨家論理學
名家論理學
儒家論理學
イスラーム論理學
論理學の哲學。meta 論理學