Category:非古典論理

Modal logic

Paraconsistent logic

Infinitary logic

Non-classical logic

Fuzzy logic

Substructural logic

Probabilistic logic

Intuitionistic logic

Linear logic

Kripke semantics

Non-monotonic logic

Intermediate logic

Relevance logic

Many-valued logic