A procedural criterion for final derivability in inconsistency-adaptive logics

DOI10.1016/j.jal.2004.07.018zbMath1063.03010OpenAlexW2067029596MaRDI QIDQ1775872

Diderik Batens

Publication date: 4 May 2005

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2004.07.018

zbMATH Keywords

Nonmonotonic reasoningParaconsistencyAdaptive logicsCriteria for final derivability

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Related Items (7)

Adaptive logic characterizations of input/output logic ⋮ The dynamics of relevance: adaptive belief revision ⋮ Adaptive Logics as a Necessary Tool for Relative Rationality: Including a Section on Logical Pluralism ⋮ The undecidability of propositional adaptive logic ⋮ New Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency ⋮ Yes fellows, most human reasoning is complex ⋮ Tutorial on Inconsistency-Adaptive Logics

Cites Work

• 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
• Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. I: The flat case
• The logic of pragmatic truth
• Signed systems for paraconsistent reasoning
• Deductive and ampliative adaptive logics as tools in the study of creativity
• On inference from inconsistent premisses
• Preferences as inconsistency-resolvers: The Inconsistency-adaptive Logic PRL
• Two new strategies for inconsistency-adaptive logics
• Towards the unification of inconsistency handling mechanisms
• Direct Dynamic Proofs for the Rescher–Manor Consequence Relations: The Flat Case
• Pragmatic truth and approximation to truth
• HL2, an Inconsistency-adaptive and Inconsistency-resolving Logic for General Statements that might have Exceptions
• A dynamic characterization of the pure logic of relevant implication
• Shortcuts and dynamic marking in the tableau method for adaptive logics

This page was built for publication: A procedural criterion for final derivability in inconsistency-adaptive logics