Category:非古典論理

Intuitionistic logic

Kripke semantics

Relevance logic

Non-monotonic logic

Intermediate logic

Infinitary logic

Substructural logic

Probabilistic logic

Non-classical logic

Fuzzy logic

Many-valued logic

Linear logic

Modal logic

Paraconsistent logic