Category:非古典論理

Many-valued logic

Paraconsistent logic

Fuzzy logic

Infinitary logic

Substructural logic

Relevance logic

Intermediate logic

Non-monotonic logic

Probabilistic logic

Kripke semantics

Intuitionistic logic

Linear logic

Non-classical logic

Modal logic