Category:非古典論理

Non-monotonic logic

Fuzzy logic

Infinitary logic

Relevance logic

Substructural logic

Probabilistic logic

Kripke semantics

Intermediate logic

Many-valued logic

Non-classical logic

Paraconsistent logic

Modal logic

Linear logic

Intuitionistic logic