Abstract
The logic of paradox LP proposed by Priest [1979] is one of paraconsistent logics. One of the motivations behind paraconsistent logic, namely LP, is that it should not be the case that everything follows from a single contradiction. It must pay a price, however, that some classical inferences would be invalid in LP. In Priest's recent invention, the logic of minimal paradox LP m can overcome the drawback, such that paraconsistent logic would be equivalent to classical logic when there is not direct effect of a contradiction. Although some proof theories for LP were introduced, there has not yet been a satisfactory proof theory for LP m. We will propose a sound and complete tableaux for LP m in this article.
The work is supported in part by National Hi-Tech 863 Project, in part by National Key Project of Fundamental Research Climbing Program and in part by Natural Science Foundation of China.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Anderson. R and Belnap, N, Entailment, Vol. 1, (Princeton, 1975)
da Costa, N and Alves, E, A Semantic Analysis of the Calculi C n, Notre Dame J. of Formal Logic 15 (1977),621–630
Dunn, M, Intuitive Semantics for First-Order Entailments and’ Coupled Tree', Philosophical Studies, 29 (1976), 149–168
Dunn, M, A Sieve for Entailments, J. of Philosophical Logic, 9 (1980), 41–57
Ginsberg. M (Ed.), Readings in Nonmonotonic Reasoning, (Morgan Kaufmann, 1987)
Hintikka. J, Model Minimization — An Alternative to Circumscription, J. of Automated Reasoning, 4 (1988)
Lin. F, Reasoning in the Presence of Inconsistency, Proceedings of AAAI-87, (Morgan Kaufmann, 1987), 139–143
Lin. F, Tableau Systems for Logic of Paradox, draft, 1989
Lin. Z, Circumscription in a Paraconsistent Logic, Proceedings of Canadian Artificial Intelligence Conference, Banff, Alberta, 1994
Olivetti, N, Tableaux and Sequent Calculus for Minimal Entailment, J. of Automated Reasoning 9 (1992), 99–139
Priest, G, Logic of Paradox, J. of Philosophical Logic, 8 (1979), 219–241
Priest. G, Consistency by Default, Technical Report, Automated Reasoning Project, Austrialian National University, 1988
Priest, G, Reasoning about Truth, Artificial Intelligence, 39 (1989), 231–244
Priest. G et al. (Eds.), Paraconsistent Logic: Essays in the Inconsistency, (Philosophia Verlag, 1989)
Smullyan. M, First-Order Logic, (Springer Verlag, 1968)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lin, Z., Li, W. (1994). A note on tableaux of logic of paradox. In: Nebel, B., Dreschler-Fischer, L. (eds) KI-94: Advances in Artificial Intelligence. KI 1994. Lecture Notes in Computer Science, vol 861. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58467-6_26
Download citation
DOI: https://doi.org/10.1007/3-540-58467-6_26
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58467-4
Online ISBN: 978-3-540-48979-5
eBook Packages: Springer Book Archive