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