Category:非古典論理

Intuitionistic logic

Fuzzy logic

Paraconsistent logic

Modal logic

Non-monotonic logic

Many-valued logic

Kripke semantics

Non-classical logic

Relevance logic

Substructural logic

Probabilistic logic

Infinitary logic

Intermediate logic

Linear logic