Category:非古典論理

Intuitionistic logic

Non-classical logic

Many-valued logic

Kripke semantics

Fuzzy logic

Non-monotonic logic

Relevance logic

Probabilistic logic

Linear logic

Intermediate logic

Paraconsistent logic

Infinitary logic

Modal logic

Substructural logic