Abstract
An alternative notion of an existential quantifier on four-valued Łukasiewicz algebras is introduced. The class of four-valued Łukasiewicz algebras endowed with this existential quantifier determines a variety which is denoted by \(\mathbb {M}_{\frac{2}{3}}\mathbb {L}_4\). It is shown that the alternative existential quantifier is interdefinable with the standard existential quantifier on a four-valued Łukasiewicz algebra. Some connections between the new existential quantifier and the existential quantifiers defined on bounded distributive lattices and Boolean algebras are given. Finally, a completeness theorem for the monadic four-valued Łukasiewicz predicate calculus corresponding to the dual of the alternative existential quantifier is proven.
Similar content being viewed by others
References
Abad, M.: Estructuras cíclica y monádica de un álgebra de Łukasiewicz n-valente. Notas de Lógica Matemática, Vol. 36. Universidad Nacional del Sur (1988)
Boicescu, V., Filipoiu, A., Georgescu, G., Rudeanu, S.: Łukasiewicz-Moisil Algebras. North-Holland (1991)
Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra. Springer, Berlin (1981)
Cignoli, R.: Proper n-valued Łukasiewicz algebras as S-algebras of Łukasiewicz n-valued prepositional calculi. Studia Logica 41, 3–16 (1982)
Cignoli, R.: Quantifiers on distributive lattiices. Discrete Math. 96, 183–197 (1991)
Cignoli, R., D’Ottaviano, I., Mundici, D.: Algebraic Foundations of Many-Valued Reasoning. Kluwer Academic Publishers, Dordrecht (2000)
Georgescu, G., Iorgulescu, A., Leustean, I.: Monadic and closure MV-algebras. Mult. Val. Logic 3, 235–257 (1998)
Hájek, P.: Methamathematics of Fuzzy Logic. Kluwer Academic Publisher, Dordrecht (1998)
Halmos, P.: Algebraic logic I. Compositio Mathematica 12, 217–249 (1955)
Halmos, P.: Algebraic Logic. Chelsea Publishing Company, White River Junction (1962)
Iorgulescu, A.: Connections between MV\(_n\) algebras and \(n\)-valued Łukasiewicz-Moisil algebras Part I. Discrete Math. 181, 155–177 (1998)
Iturrioz, L.: Łukasiewicz and symmetrical Heyting algebras. Zeitschrift für Mathematische Logik und Grundlagen de Mathematik 23, 131–136 (1977)
Krongold, F.: Álgebra y lógica monádicas, Tesis de Licenciatura dirigida por el Dr. Roberto Cignoli (manuscript)
Monteiro, L.: Algebras de Łukasiewicz trivalentes monádicas. Notas de Lógica Matemática, Vol. 32. Universidad Nacional del Sur (1974)
Monteiro, A.: Sur les algèbres de Heyting symètriques. Portugaliae Mathematica 39, 1–237 (1980)
Petrovich, A.: An alternative definition of quantifier in three-valued Łukasiewicz algebra. XIV Simposio Latinoamericano de Lógica Matemática, Paraty, Rio De Janeiro (2008)
Petrovich, A., Lattanzi, M.: An alternative notion of quantifiers on three-valued Łukasiewicz algebras. Mult.-Val. Logic Soft Comput. 28(4–5), 335–360 (2017)
Author information
Authors and Affiliations
Corresponding author
Additional information
This work was partially supported by Universidad Nacional de La Pampa (Fac. de Cs. Exactas y Naturales) under the Grant P.I. 64 M, Res. 432/14 CD.
Rights and permissions
About this article
Cite this article
González, L.J., Lattanzi, M.B. & Petrovich, A.G. An Alternative Definition of Quantifiers on Four-Valued Łukasiewicz Algebras. Log. Univers. 11, 439–463 (2017). https://doi.org/10.1007/s11787-017-0181-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11787-017-0181-4