Abstract
The aim of this paper is to study the paraconsistent deductive systemP 1 within the context of Algebraic Logic. It is well known due to Lewin, Mikenberg and Schwarse thatP 1 is algebraizable in the sense of Blok and Pigozzi, the quasivariety generated by Sette's three-element algebraS being the unique quasivariety semantics forP 1. In the present paper we prove that the mentioned quasivariety is not a variety by showing that the variety generated byS is not equivalent to any algebraizable deductive system. We also show thatP 1 has no algebraic semantics in the sense of Czelakowski. Among other results, we study the variety generated by the algebraS. This enables us to prove in a purely algebraic way that the only proper non-trivial axiomatic extension ofP 1 is the classical deductive systemPC. Throughout the paper we also study those abstract logics which are in a way similar toP 1, and are called hereabstract Sette logics. We obtain for them results similar to those obtained for distributive abstract logics by Font, Verdú and the author.
Similar content being viewed by others
References
Arruda, A. I., 1980, ‘A survey of paraconsistent logic’ in: A.I. Arruda, R. Chuaqui and N.C.A. da Costa (eds.),Mathematical Logic in Latin America, North-Holland Publishing Company, Amsterdam, 1–41.
Balbes, R. andP. Dwinger, 1974,Distributive lattices, University of Missouri Press, Columbia (Missouri).
Birkhoff, G., 1967Lattice Theory, 3rd Edition, American Mathematical Society, Providence, Rhode Island.
Blok, W. J. andD. Pigozzi, 1989, ‘Algebraizable logics’Memoirs of the American Mathematical Society 396.
Bloom, S. L. andD.J. Brown, 1973, ‘Classical Abstract Logics’,Rozprawy Matematyczne (Dissertations Mathematicae) 102, 43–52.
Brown, D. J. andR. Suszko, 1973, ‘Abstract Logics’,Rozprawy Matematyczne (Dissertations Mathematicae) 102, 9–41.
Burris, S. andH.P. Sankappanavar, 1981,A Course in Universal Algebra, Springer-Verlag, New York.
Cohn, P. M., 1981,Universal Algebra, 2nd Edition, D. Reidel Publishing Company, Dordrecht.
Czelakowski, J., 1981, ‘Equivalential logics’ (I), (II),Studia Logica 40, 227–236, 335 – 372.
Czelakowski J., 1985, ‘Algebraic aspects of deduction theorems’,Studia Logica 44, 369–387.
da Costa, N. C. A. andD. Marconi, 1989, ‘An Overview of Paraconsistent Logic in the 80's’,The Journal of Non-Classical Logic 6, 5–32.
D'Ottaviano, I. M. L., 1990, ‘On the development of paraconsistent logic and da Costa's work’The Journal of Non-Classical Logic 7, 89–152.
J.M. Font, andV. Verdú, 1988, ‘Abstract characterization of a four-valued logic’, in:Proceedings of the 18th International Symposium on Multiple-Valued Logic, Palma de Mallorca, 389–396.
Font, J. M. andV. Verdú, 1989, ‘A first approach to abstract modal logics’,The Journal of Symbolic Logic 54, 1042–1062.
Font, J. M. andV. Verdú, 1991, ‘Algebraic Logic for Classical Conjunction and Disjunction’,Studia Logica 50, 391–419.
Grätzer, G., 1871,Lattice Theory. First concepts and distributive lattices, W.H. Freeman and Company, San Francisco.
Grätzer, G., 1979,Universal Algebra, 2nd Edition, Springer-Verlag, Berlin.
Harrop, R., 1968, ‘Some forms of models of propositional calculi’, in: H.A. Schmidt, K. Schütte and H.J. Thiele (eds.),Contributions to Mathematical Logic, North-Holland Publishing Company, Amsterdam, 163–174.
Lewin, R. A., I.F. Mikenberg andM.G. Schwarse, 1990, ‘Algebraization of paraconsistent logicP 1’,The Journal of Non-Classical Logic 7, 79–88.
Loś, J. andR. Suszko, 1958, ‘Remarks on sentential logics’,Indagationes Mathematicae 20, 177–183.
Mendelson, E., 1979,Introduction to Mathematical logic, 2nd Edition, D. Van Nostrand Company, New York.
Priest, G., R. Routley andJ. Norman (eds.), 1989,Paraconsistent Logic. Essays on the Inconsistent, Philosophia Verlag, München.
A.P. Pynko, ‘Abstract non-pseudo-axiomatic logics’, Manuscript.
Rasiowa, H., 1974,An Algebraic Approach to Non-Classical Logics, North-Holland Publishing Company, Amsterdam.
Rasiowa, H. andR. Sikorski, 1963,The Mathematics of Metamathematics, Paśtwowe Wydawnictwo Naukowe, Warszawa.
Sette, A. M., 1973, ‘On the propositional calculusP 1’,Mathematica Japonica 18, 173–180.
Smiley, T., ‘The independence of connectives’,The Journal of Symbolic Logic 27, 426 – 436.
Wójcicki, R., 1973, ‘Matrix approach in methodology of sentential calculi’,Studia Logica 32, 7–37.
Wójcicki, R., 1984,Lectures on Propositional Calculi, Ossolineum, Wroclaw.
Wójcicki, R., 1988,Theory of Logical Calculi. Basic Theory of Consequence Operations, Synthese Library, Vol.199, Kluwer Academic Publishers, Dordrecht.
Author information
Authors and Affiliations
Additional information
The author should like to express his special thanks to Laboratory 852 of Space Research Institute of Russian Academy of Sciences and personally to Professor W.I. Borisienko for their crucial support in preparing the manuscript of the present paper.
Rights and permissions
About this article
Cite this article
Pynko, A.P. Algebraic study of Sette's maximal paraconsistent logic. Stud Logica 54, 89–128 (1995). https://doi.org/10.1007/BF01058534
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01058534