Towards the unification of inconsistency handling mechanisms

DOI10.12775/LLP.2000.001zbMATH Open1005.03508MaRDI QIDQ3149223

Diderik Batens

Publication date: 25 February 2003

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

zbMATH Keywords

proof theorysemanticsconsequence relationsparaconsistent logicinconsistency-adaptive logics

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Cited In (13)

• Inconsistency-adaptive dialogical logic
• Paraconsistent logic
• Tutorial on Inconsistency-Adaptive Logics
• Causal discovery and the problem of ignorance. An adaptive logic approach
• Some Adaptive Contributions to Logics of Formal Inconsistency
• An adaptive logic based on Jaśkowski's approach to paraconsistency
• The theory of the process of explanation generalized to include the inconsistent case
• Yes fellows, most human reasoning is complex
• Inconsistency Management in Reactive Multi-context Systems
• Towards inconsistency handling of object-oriented behavioral models
• Direct Dynamic Proofs for the Rescher–Manor Consequence Relations: The Flat Case
• A procedural criterion for final derivability in inconsistency-adaptive logics
• New Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency

Recommendations

• Comparing Inconsistency Resolutions in Multi-Context Systems 👍 👎
• Strategies for consistency checking based on unification 👍 👎
• Inconsistency Management from the Standpoint of Possibilistic Logic 👍 👎
• Inconsistency Management in Reactive Multi-context Systems 👍 👎
• PRACTICAL INCONSISTENCY MANAGEMENT FOR CRITICAL-TASKS DECISION-SUPPORT SYSTEMS 👍 👎
• Towards inconsistency handling of object-oriented behavioral models 👍 👎

This page was built for publication: Towards the unification of inconsistency handling mechanisms

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