Category:非古典論理

Fuzzy logic

Modal logic

Probabilistic logic

Intermediate logic

Infinitary logic

Kripke semantics

Non-classical logic

Relevance logic

Linear logic

Substructural logic

Non-monotonic logic

Intuitionistic logic

Many-valued logic

Paraconsistent logic