A procedural criterion for final derivability in inconsistency-adaptive logics

DOI10.1016/J.JAL.2004.07.018zbMATH Open1063.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)

Cites Work

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

Cited In (8)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1775872)