Category:非古典論理

Linear logic

Non-classical logic

Probabilistic logic

Intermediate logic

Substructural logic

Relevance logic

Infinitary logic

Non-monotonic logic

Paraconsistent logic

Kripke semantics

Modal logic

Many-valued logic

Intuitionistic logic

Fuzzy logic