Abstract
Quasi-classical logic (QC logic) allows the derivation of non-trivial classical inferences from inconsistent information. A paraconsis-ent, or non-trivializable, logic is, by necessity, a compromise, or weakening, of classical logic. The compromises on QC logic seem to be more appropriate than other paraconsistent logics for applications in computing. In particular, the connectives behave in a “classical manner” at the object level so that important proof rules such as modus tollens, modus ponens, and disjunctive syllogism hold. Here we develop QC logic by presenting a semantic tableau version for first-order QC logic.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ph Besnard and A Hunter. Quasis-classical logic: Non-trivializable classical reasoning from inconsistent information. In C Froidevaux and K Kohlas, editors, Symbolic and Quantitative Approaches to Uncertainty, volume 946 of Lecture Notes in Computer Siences pages 44–51, 1995.
N C daCosta. On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic, 15:497–510, 1974.
A Hunter and B Nuseibeh. Managing inconsistent specifiations: Reasoning, analysis and action. ACM Transactions on Software Engineering and Methodology, 7:335–367, 1998.
A Hunter. Paraconsistent logics. In Handbook of Defeasible Reasoning and Uncertainty Management Systems, volume 2, pages 11–36. Kluwer, 1998.
A Hunter. Reasining with conflicting information using quasi-classical logic. Journal of Logic and Computation, 10:677–703, 2000.
A Hunter. Reasining with inconsistency in structured text. Knowledge Engineering Review, 15:317–337, 2000.
68]_R Smullyan. First-order Logic. Springer, 1968.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hunter, A. (2001). A Semantic Tableau Version of First-Order Quasi-Classical Logic. In: Benferhat, S., Besnard, P. (eds) Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2001. Lecture Notes in Computer Science(), vol 2143. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44652-4_48
Download citation
DOI: https://doi.org/10.1007/3-540-44652-4_48
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42464-2
Online ISBN: 978-3-540-44652-1
eBook Packages: Springer Book Archive