Category:非古典論理

Fuzzy logic

Paraconsistent logic

Many-valued logic

Intuitionistic logic

Relevance logic

Kripke semantics

Infinitary logic

Intermediate logic

Substructural logic

Probabilistic logic

Non-monotonic logic

Non-classical logic

Linear logic

Modal logic