Category:非古典論理

Fuzzy logic

Non-monotonic logic

Infinitary logic

Substructural logic

Probabilistic logic

Relevance logic

Kripke semantics

Non-classical logic

Intermediate logic

Many-valued logic

Modal logic

Paraconsistent logic

Intuitionistic logic

Linear logic