Skip to main content
SpringerLink
Log in

Deduction Normalization Theorem for Sette’s Logic and Its Modifications

  • Published:
Moscow University Mathematics Bulletin Aims and scope

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. R. A. Lewin and I. F. Mikenberg, “Literal-Paraconsistent and Literal-Paracomplete Matrices,” Math. Log. Quart. 52 (5), 478 (2006).

    Article  MathSciNet  MATH  Google Scholar 

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

    Chapter  Google Scholar 

  3. A. M. Sette and W. A. Carnielli, “Maximal Weakly-Intuitionistic Logics,” Stud. Log. 55 (1), 181 (1995).

    Article  MathSciNet  MATH  Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

  5. A. S. Karpenko and N. E. Tomova, Bochvar’s Three-Valued Logic and Literal Paralogics (Inst. Philosophy, RAS, Moscow, 2016) [in Russian].

    MATH  Google Scholar 

  6. A. M. Sette, “On Propositional Calculus P1,” Math. Jap. 18 (3), 173 (1973).

    MathSciNet  MATH  Google Scholar 

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

    Chapter  Google Scholar 

  8. V. M. Popov, “On a Three-Valued Paracomplete Logic,” Log. Invest. 9, 175 (2002).

    MathSciNet  MATH  Google Scholar 

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

    Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

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

    Google Scholar 

  12. V. M. Popov, “On the Logics Related to Arruda’s System V1,” Log. and Log. Phil. 7, 87 (1999).

    Google Scholar 

  13. W. A. Carnielli and M. Lima-Marques, “Society Semantics and Multiple-Valued Logics,” Adv. Contemp. Log. and Comput. Sci. 235, 33 (1999).

    Article  MathSciNet  MATH  Google Scholar 

  14. J. Ciuciura, “Paraconsistency and Sette’s Calculus P1,” Log. and Log. Phil. 24 (2), 265 (2015).

    MathSciNet  MATH  Google Scholar 

  15. J. Ciuciura, “A Weakly-Intuitionistic Logic I1,” Log. Invest. 21 (2), 53 (2015).

    MathSciNet  MATH  Google Scholar 

  16. G. Gentzen, “Untersuchungen über das logische Schliessen I, II,” Math. Z. 39 (1), 176, 405 (1935).

    Google Scholar 

  17. S. Jaśkowski, “On the Rules of Suppositions in Formal Logic,” Stud. Log. 1, 5 (1934).

    Google Scholar 

  18. D. Becchio and J-F. Pabion, “Gentzen’s Techniques in the Three-Valued Logic of Lukasiewicz,” J. Symb. Log. 42 (2), 123 (1977).

    Google Scholar 

  19. J. Lukasiewicz, “O Logice Trójwartościowej,” Ruch Fil. 5, 170 (1920)

    Google Scholar 

  20. Y. Petrukhin, “Natural Deduction for Three-Valued Regular Logics,” Log. and Log. Phil. 26 (2), 197 (2017).

    MathSciNet  MATH  Google Scholar 

  21. Y. Petrukhin, “Natural Deduction for Four-Valued Both Regular and Monotonic Logics,” Log. and Log. Phil. 27 (1), 53 (2018).

    MathSciNet  MATH  Google Scholar 

  22. Y. Petrukhin, “Natural Deduction for Fitting’s Four-Valued Generalizations of Kleene’s Logics,” Logica Universalis 11 (4), 525 (2017).

    Article  MathSciNet  MATH  Google Scholar 

  23. Ya. I. Petrukhin, “Natural Deduction System for Three-Valued Heyting’s Logic,” Vestn. Mosk. Univ., Matem. Mekhan. No. 3, 63 (2017).

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  26. E. Zimmermann, “Peirce’s Rule in Natural Deduction,” Theor. Comput. Sci. 275 (1–2), 561 (2002).

    Article  MathSciNet  MATH  Google Scholar 

  27. B. Kooi and A. Tamminga, “Completeness via Correspondence for Extensions of the Logic of Paradox,” Rev. Symb. Log. 5 (4), 720 (2012).

    Article  MathSciNet  MATH  Google Scholar 

  28. D. van Dalen, Logic and Structure, 3rd ed. (Springer-Verlag, Berlin, 1997).

    Google Scholar 

  29. D. Prawitz, Natural Deduction. A Proof-Theoretical Study (Almquist and Wiksell, Stockholm, 1965).

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Moscow State University, Faculty of Philosophy, Leninskie Gory, Moscow, 119991, Russia

    Ya. I. Petrukhin

Authors
  1. Ya. I. Petrukhin
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ya. I. Petrukhin.

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

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.3103/S0027132219010054

Search

Navigation