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