Tutorial on Inconsistency-Adaptive Logics

DOI10.1007/978-81-322-2719-9_1zbMath1423.03094OpenAlexW2466968860MaRDI QIDQ5241516

Diderik Batens

Publication date: 31 October 2019

Published in: Springer Proceedings in Mathematics & Statistics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-81-322-2719-9_1

zbMATH Keywords

paraconsistent logicinconsistency-adaptive logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Paraconsistent logics (03B53)

Related Items (6)

Adaptive Fregean set theory ⋮ Toward adaptive rough sets ⋮ Devising the set of abnormalities for a given defeasible rule ⋮ Looting Liars Masking Models ⋮ Some Adaptive Contributions to Logics of Formal Inconsistency ⋮ Inconsistency-adaptive dialogical logic

Cites Work

• Non-monotonic set theory as a pragmatic foundation of mathematics
• A strong model of paraconsistent logic
• Adaptive logics using the minimal abnormality strategy are \(\Pi^1_1\)-complex
• A universal logic approach to adaptive logics
• Yes fellows, most human reasoning is complex
• On an implication connective of RM
• Definability and quantifier elimination for \(J_ 3\)-theories
• Vagueness-adaptive logic: A pragmatical approach to sorites paradoxes
• A procedural criterion for final derivability in inconsistency-adaptive logics
• Minimally abnormal models in some adaptive logics
• Computability issues for adaptive logics in multi-consequence standard format
• The undecidability of propositional adaptive logic
• Adaptive logics for defeasible reasoning. Applications in argumentation, normative reasoning and default reasoning
• On inference from inconsistent premisses
• Spoiled for choice?
• Non-deterministic Multiple-valued Structures
• Formal inconsistency and evolutionary databases
• Towards the unification of inconsistency handling mechanisms
• Direct Dynamic Proofs for the Rescher–Manor Consequence Relations: The Flat Case
• Natural 3-valued logics—characterization and proof theory
• New Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency
• Strong, universal and provably non-trivial set theory by means of adaptive logic
• Logics of Formal Inconsistency
• A proof procedure for adaptive logics
• Multi-valued Calculi for Logics Based on Non-determinism
• Shortcuts and dynamic marking in the tableau method for adaptive logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Tutorial on Inconsistency-Adaptive Logics