Category:非古典論理

Intuitionistic logic

Kripke semantics

Modal logic

Non-classical logic

Relevance logic

Probabilistic logic

Paraconsistent logic

Intermediate logic

Infinitary logic

Substructural logic

Non-monotonic logic

Many-valued logic

Linear logic

Fuzzy logic