Abstract
In this paper we formulate natural deduction systems for Sette’s three-valued paraconsistent logic P1 and some related logics. For presented calculi we prove the soundness, completeness, and normalization theorems.
Similar content being viewed by others
References
R. A. Lewin and I. F. Mikenberg, “Literal-Paraconsistent and Literal-Paracomplete Matrices,” Math. Log. Quart. 52 (5), 478 (2006).
G. Priest, “Paraconsistent Logic,” inHandbook of Philosophical Logic, 2nd ed. Vol. 6, Ed. by D.M. Gabbay and F. Guenthner (Kluwer Academic Publishers, 2002), pp. 287–393.
A. M. Sette and W. A. Carnielli, “Maximal Weakly-Intuitionistic Logics,” Stud. Log. 55 (1), 181 (1995).
A. Karpenko and N. Tomova, “Bochvar’s Three-Valued Logic and Literal Paralogics: Their Lattice and Functional Equivalence,” Log. and Log. Phil. 26 (2), 207 (2017).
A. S. Karpenko and N. E. Tomova, Bochvar’s Three-Valued Logic and Literal Paralogics (Inst. Philosophy, RAS, Moscow, 2016) [in Russian].
A. M. Sette, “On Propositional Calculus P1,” Math. Jap. 18 (3), 173 (1973).
W. A. Carnielli and J. Marcos, “A Taxonomy of C-Systems,” inParaconsistency: The Logical Way to the Inconsistent, Ed. by W. A. Carnielli, M. E. Coniglio, and I. M. L. D’Ottaviano (Marcel Dekker, N.Y., 2002), pp. 1–94.
V. M. Popov, “On a Three-Valued Paracomplete Logic,” Log. Invest. 9, 175 (2002).
J. Marcos, “On a Problem of da Costa,” inEssays of the Foundations of Mathematics and Logic, Vol. 2. Ed. by G. Sica, (Polimetrica, Monza, 2005), pp. 53–69.
D. A. Bochvar, “On a Three-Valued Logical Calculus and Its Application to the Analysis of the Paradoxes of the Classical Extended Functional Calculus,” History and Philosophy of Logic 2, 87 (1981).
A. S. Karpenko, “A Maximal Paraconsistent Logic: The Combination of Two Three-Valued Isomorphs of Classical Logic,” inFrontiers of Paraconsistent Logic, Ed. by D. Batens, C. Mortensen, G. Priest, and J.-P. van Bendegem (Research Studies Press, Baldock, 2002), pp. 181–187.
V. M. Popov, “On the Logics Related to Arruda’s System V1,” Log. and Log. Phil. 7, 87 (1999).
W. A. Carnielli and M. Lima-Marques, “Society Semantics and Multiple-Valued Logics,” Adv. Contemp. Log. and Comput. Sci. 235, 33 (1999).
J. Ciuciura, “Paraconsistency and Sette’s Calculus P1,” Log. and Log. Phil. 24 (2), 265 (2015).
J. Ciuciura, “A Weakly-Intuitionistic Logic I1,” Log. Invest. 21 (2), 53 (2015).
G. Gentzen, “Untersuchungen über das logische Schliessen I, II,” Math. Z. 39 (1), 176, 405 (1935).
S. Jaśkowski, “On the Rules of Suppositions in Formal Logic,” Stud. Log. 1, 5 (1934).
D. Becchio and J-F. Pabion, “Gentzen’s Techniques in the Three-Valued Logic of Lukasiewicz,” J. Symb. Log. 42 (2), 123 (1977).
J. Lukasiewicz, “O Logice Trójwartościowej,” Ruch Fil. 5, 170 (1920)
Y. Petrukhin, “Natural Deduction for Three-Valued Regular Logics,” Log. and Log. Phil. 26 (2), 197 (2017).
Y. Petrukhin, “Natural Deduction for Four-Valued Both Regular and Monotonic Logics,” Log. and Log. Phil. 27 (1), 53 (2018).
Y. Petrukhin, “Natural Deduction for Fitting’s Four-Valued Generalizations of Kleene’s Logics,” Logica Universalis 11 (4), 525 (2017).
Ya. I. Petrukhin, “Natural Deduction System for Three-Valued Heyting’s Logic,” Vestn. Mosk. Univ., Matem. Mekhan. No. 3, 63 (2017).
Ya. I. Petrukhin, “The Natural Deduction Systems for the Three-Valued Nonsense Logics Z and E,” Vestn. Mosk. Univ., Matem. Mekhan. No. 1, 60 (2018).
O. Arieli, A. Avron, and A. Zamansky, “What Is an Ideal Logic for Reasoning with Inconsistency?” in Proc. IJCAI’11 (Barcelona, 2011), pp. 706–711.
E. Zimmermann, “Peirce’s Rule in Natural Deduction,” Theor. Comput. Sci. 275 (1–2), 561 (2002).
B. Kooi and A. Tamminga, “Completeness via Correspondence for Extensions of the Logic of Paradox,” Rev. Symb. Log. 5 (4), 720 (2012).
D. van Dalen, Logic and Structure, 3rd ed. (Springer-Verlag, Berlin, 1997).
D. Prawitz, Natural Deduction. A Proof-Theoretical Study (Almquist and Wiksell, Stockholm, 1965).
Author information
Authors and Affiliations
Corresponding author
Additional information
Russian Text © Ya.I. Petrukhin, 2019, published in Vestnik Moskovskogo Universiteta, Matematika. Mekhanika, 2019, Vol. 74, No. 1, pp. 26–33.
About this article
Cite this article
Petrukhin, Y.I. Deduction Normalization Theorem for Sette’s Logic and Its Modifications. Moscow Univ. Math. Bull. 74, 25–31 (2019). https://doi.org/10.3103/S0027132219010054
Received:
Published:
Issue Date:
DOI: https://doi.org/10.3103/S0027132219010054