Category:非古典論理

Fuzzy logic

Many-valued logic

Non-monotonic logic

Substructural logic

Linear logic

Intermediate logic

Infinitary logic

Paraconsistent logic

Probabilistic logic

Relevance logic

Modal logic

Intuitionistic logic

Kripke semantics

Non-classical logic