Category:非古典論理

Modal logic

Linear logic

Many-valued logic

Non-monotonic logic

Non-classical logic

Infinitary logic

Fuzzy logic

Intermediate logic

Kripke semantics

Substructural logic

Probabilistic logic

Intuitionistic logic

Relevance logic

Paraconsistent logic