Category:非古典論理

Paraconsistent logic

Fuzzy logic

Linear logic

Non-monotonic logic

Substructural logic

Many-valued logic

Infinitary logic

Relevance logic

Intermediate logic

Probabilistic logic

Modal logic

Non-classical logic

Kripke semantics

Intuitionistic logic