Category:非古典論理

Modal logic

Paraconsistent logic

Fuzzy logic

Intuitionistic logic

Non-classical logic

Relevance logic

Intermediate logic

Probabilistic logic

Kripke semantics

Substructural logic

Non-monotonic logic

Infinitary logic

Many-valued logic

Linear logic