Category:非古典論理

Linear logic

Many-valued logic

Paraconsistent logic

Substructural logic

Intermediate logic

Non-classical logic

Relevance logic

Probabilistic logic

Infinitary logic

Non-monotonic logic

Fuzzy logic

Kripke semantics

Modal logic

Intuitionistic logic