Category:非古典論理

Fuzzy logic

Linear logic

Many-valued logic

Modal logic

Non-monotonic logic

Paraconsistent logic

Intuitionistic logic

Relevance logic

Intermediate logic

Probabilistic logic

Infinitary logic

Substructural logic

Non-classical logic

Kripke semantics