Category:非古典論理

Non-classical logic

Linear logic

Substructural logic

Probabilistic logic

Non-monotonic logic

Kripke semantics

Intermediate logic

Infinitary logic

Relevance logic

Many-valued logic

Paraconsistent logic

Modal logic

Fuzzy logic

Intuitionistic logic