Category:非古典論理

Fuzzy logic

Many-valued logic

Non-monotonic logic

Modal logic

Infinitary logic

Paraconsistent logic

Intermediate logic

Probabilistic logic

Relevance logic

Kripke semantics

Substructural logic

Linear logic

Non-classical logic

Intuitionistic logic