Category:非古典論理

Paraconsistent logic

Many-valued logic

Non-monotonic logic

Intuitionistic logic

Fuzzy logic

Infinitary logic

Non-classical logic

Probabilistic logic

Intermediate logic

Substructural logic

Kripke semantics

Relevance logic

Linear logic

Modal logic