Non-classical logic

Source: Wikipedia. Pages: 89. Chapters: Circumscription (logic), Combs method, Computability logic, Connexive logic, Default logic, Defeasible logic, Description logic, Deviant logic, Dialetheism, EL++, Free logic, Fuzzy logic, Independence-friendly logic, Infinitary logic, Intensional logic, Intermediate logic, Intuitionistic logic, Journal of Applied Non-Classical Logics, Kinetic logic, Linear logic, Minimal logic, Modal logic, Nixon diamond, Non-Aristotelian logic, Non-monotonic logic, Noneism, Paraconsistent logic, Preferential entailment, Probabilistic logic, Probabilistic logic network, Quantum logic, Relevance logic, Rvachev function, Subjective logic, Substructural logic. Excerpt: 208 article summaries including: A non-classical logic for information retrieval . Representing "Recursive" Default Logic in Modal Logic . Representing Default Logic in Modal Logic . 5 Embedding Description Logic Programs into Default Logic . LK, LJ, Dual Intuitionistic Logic, and Quantum Logic . Non-Monotonic Logic I . 15 Algebraic hierarchy of logics unifying fuzzy logic and quantum logic . Paraconsistent Logic . 19 On the relationship between fuzzy logic and four-valued relevance logic . Clarity in Non-Monotonic Logic . Intuitionistic Logic . A Useful Substructural Logic . A Computationally Tractable Non-Monotonic Logic . 36 "Iff" is not expressible in independence-friendly logic . Is Defeasible Logic Applicable . Forgetting for Defeasible Logic . Defeasible Logic is Stable . Propositional Clausal Defeasible Logic . Generalized Quantification as Substructural Logic . 50 Propositional Computability Logic II . 51 Intuitionistic computability logic . 52 Propositional computability logic I . Real Analysis in Paraconsistent Logic . Paraconsistent logic in The Office . 56 An Environment for the Exploration of Non Monotonic Logic Programs . 63 Stationary sets and infinitary logic . Unification in Intuitionistic Logic . Dual-Intuitionistic Logic . Intuitionistic logic of proofs . Eskolemization in intuitionistic logic . A Defeasible Logic for Clauses . Norm modifications in defeasible logic . Defeasible Logic for Automated Negotiation . Representation Results for Defeasible Logic . Normative Modifications in Defeasible Logic . Temporal Extensions to Defeasible Logic . Dialogue Games in Defeasible Logic . Temporal extensions to defeasible logic . Nested Rules in Defeasible Logic . 87 Revision of Defeasible Logic Preferences . 88 Representation results for defeasible logic . Argumentation Semantics for Defeasible Logic . Probabilistic logic . 98 Sequential operators in computability logic . 99 Toggling operators in computability logic . Expressing Default Logic Variants in Default Logic . Bohr's Atomic Model and Paraconsistent Logic . Strong Completeness Results for Paraconsistent Logic Programming . A Strong Model of Paraconsistent Logic . Matrix proof method in annotated paraconsistent logic . Intuitionistic logic and elementary rules . The information in intuitionistic logic . Semantic studies of intuitionistic logic . Diagram Construction in Intuitionistic Logic . Intuitionistic Logic and Elementary Rules . Diagram Construction in Intuitionistic Logic . Towards CERes in intuitionistic logic . Automating Theories in Intuitionistic Logic . 3D spreadsheet based on intensional logic . Uncontroversial Default Logic . Representability in Default Logic . A terminological default logic . General default logic . M...