Category:非古典論理

Paraconsistent logic

Modal logic

Fuzzy logic

Infinitary logic

Intuitionistic logic

Substructural logic

Non-classical logic

Linear logic

Probabilistic logic

Kripke semantics

Relevance logic

Non-monotonic logic

Intermediate logic

Many-valued logic