Category:非古典論理

Kripke semantics

Non-classical logic

Intuitionistic logic

Relevance logic

Substructural logic

Infinitary logic

Probabilistic logic

Intermediate logic

Paraconsistent logic

Modal logic

Linear logic

Non-monotonic logic

Many-valued logic

Fuzzy logic