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.
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