Category:非古典論理
ファジィ論理
Fuzzy logic多値論理
Many-valued logic非単調論理
Non-monotonic logic様相論理
Modal logic無限論理
Infinitary logic矛盾許容論理
Paraconsistent logic中間論理
Intermediate logic確率論理
Probabilistic logic適切さの論理
Relevance logicクリプキ・モデル
Kripke semantics部分構造論理
Substructural logic線形論理
Linear logic非古典論理
Non-classical logic直観主義論理
Intuitionistic logic