Category:非古典論理

Paraconsistent logic

Intuitionistic logic

Modal logic

Fuzzy logic

Substructural logic

Non-monotonic logic

Intermediate logic

Infinitary logic

Kripke semantics

Relevance logic

Non-classical logic

Probabilistic logic

Many-valued logic

Linear logic