Category:非古典論理

Paraconsistent logic

Probabilistic logic

Linear logic

Kripke semantics

Substructural logic

Infinitary logic

Non-classical logic

Intermediate logic

Relevance logic

Many-valued logic

Non-monotonic logic

Fuzzy logic

Modal logic

Intuitionistic logic