Category:非古典論理

Modal logic

Linear logic

Many-valued logic

Non-monotonic logic

Intuitionistic logic

Non-classical logic

Fuzzy logic

Paraconsistent logic

Infinitary logic

Intermediate logic

Probabilistic logic

Substructural logic

Kripke semantics

Relevance logic