User:Karoshbn/Books/LOGIC VII - Non-classical Logic

Non-classical Logic

 * Non-classical logic


 * Modal
 * Modal logic
 * Temporal logic
 * Epistemic modal logic
 * Doxastic logic
 * Deontic logic
 * Modal operator


 * Intuitionistic
 * Intuitionism
 * Intuitionistic logic
 * Constructive analysis
 * Heyting arithmetic
 * Intuitionistic type theory
 * Constructive set theory


 * Fuzzy
 * Fuzzy logic
 * Degree of truth
 * Fuzzy rule
 * Fuzzy set
 * Fuzzy finite element
 * Fuzzy set operations


 * Substructural
 * Substructural logic
 * Linear logic
 * Relevance logic
 * Structural rule


 * Paraconsistent
 * Paraconsistent logic
 * Dialetheism


 * Description
 * Description logic
 * Ontology
 * Ontology language


 * Many Valued
 * Many-valued logic
 * Three-valued logic
 * Four-valued logic
 * Łukasiewicz logic