Category:非古典論理

Fuzzy logic

Probabilistic logic

Intermediate logic

Infinitary logic

Non-classical logic

Kripke semantics

Relevance logic

Non-monotonic logic

Substructural logic

Many-valued logic

Modal logic

Linear logic

Intuitionistic logic

Paraconsistent logic