Navegar

Colección

Datos Estadísticas

Artículo

Estamos trabajando para incorporar este artículo al repositorio
Consulte el artículo en la página del editor
Consulte la política de Acceso Abierto del editor

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 M23L4. 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. © 2017, Springer International Publishing AG, part of Springer Nature.

Registro:

Documento: Artículo
Título:An Alternative Definition of Quantifiers on Four-Valued Łukasiewicz Algebras
Autor:González, L.J.; Lattanzi, M.B.; Petrovich, A.G.
Filiación:Facultad de Ciencias Exactas y Naturales, Universidad Nacional de La Pampa, Avda. Uruguay 151, Santa Rosa, La Pampa 6300, Argentina
Departamento de Matemática, Facultad de Ciencias Exactas y Naturales, Universidad Nacional de Buenos Aires, Pabellón I - Ciudad Universitaria, Buenos Aires, Argentina
Palabras clave:Four-valued Łukasiewicz algebras; monadic logics; quantifiers
Año:2017
Volumen:11
Número:4
Página de inicio:439
Página de fin:463
DOI: http://dx.doi.org/10.1007/s11787-017-0181-4
Título revista:Logica Universalis
Título revista abreviado:Log. Universalis
ISSN:16618297
Registro:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_16618297_v11_n4_p439_Gonzalez

Referencias:

  • Abad, M., Estructuras cíclica y monádica de un álgebra de Łukasiewicz n-valente. Notas de Lógica Matemática, Vol. 36 (1988) Universidad Nacional del Sur
  • Boicescu, V., Filipoiu, A., Georgescu, G., Rudeanu, S., Łukasiewicz-Moisil Algebras (1991) North-Holland
  • Burris, S., Sankappanavar, H.P., (1981) A Course in Universal Algebra, , Springer, Berlin
  • Cignoli, R., Proper n-valued Łukasiewicz algebras as S-algebras of Łukasiewicz n-valued prepositional calculi (1982) Studia Logica, 41, pp. 3-16
  • Cignoli, R., Quantifiers on distributive lattiices (1991) Discrete Math., 96, pp. 183-197
  • Cignoli, R., D’Ottaviano, I., Mundici, D., (2000) Algebraic Foundations of Many-Valued Reasoning, , Kluwer Academic Publishers, Dordrecht
  • Georgescu, G., Iorgulescu, A., Leustean, I., Monadic and closure MV-algebras (1998) Mult. Val. Logic, 3, pp. 235-257
  • Hájek, P., (1998) Methamathematics of Fuzzy Logic, , Kluwer Academic Publisher, Dordrecht
  • Halmos, P., Algebraic logic I (1955) Compositio Mathematica, 12, pp. 217-249
  • Halmos, P., (1962) Algebraic Logic, , Chelsea Publishing Company, White River Junction
  • Iorgulescu, A., Connections between MV n algebras and n -valued Łukasiewicz-Moisil algebras Part I (1998) Discrete Math., 181, pp. 155-177
  • Iturrioz, L., Łukasiewicz and symmetrical Heyting algebras (1977) Zeitschrift für Mathematische Logik und Grundlagen de Mathematik, 23, pp. 131-136
  • 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 (1974) Universidad Nacional del Sur
  • Monteiro, A., Sur les algèbres de Heyting symètriques (1980) Portugaliae Mathematica, 39, pp. 1-237
  • Petrovich, A., (2008) An alternative definition of quantifier in three-valued Łukasiewicz algebra, , XIV Simposio Latinoamericano de Lógica Matemática, Paraty, Rio De Janeiro
  • Petrovich, A., Lattanzi, M., An alternative notion of quantifiers on three-valued Łukasiewicz algebras (2017) Mult.-Val. Logic Soft Comput., 28 (4-5), pp. 335-360

Citas:

---------- APA ----------
González, L.J., Lattanzi, M.B. & Petrovich, A.G. (2017) . An Alternative Definition of Quantifiers on Four-Valued Łukasiewicz Algebras. Logica Universalis, 11(4), 439-463.
http://dx.doi.org/10.1007/s11787-017-0181-4
---------- CHICAGO ----------
González, L.J., Lattanzi, M.B., Petrovich, A.G. "An Alternative Definition of Quantifiers on Four-Valued Łukasiewicz Algebras" . Logica Universalis 11, no. 4 (2017) : 439-463.
http://dx.doi.org/10.1007/s11787-017-0181-4
---------- MLA ----------
González, L.J., Lattanzi, M.B., Petrovich, A.G. "An Alternative Definition of Quantifiers on Four-Valued Łukasiewicz Algebras" . Logica Universalis, vol. 11, no. 4, 2017, pp. 439-463.
http://dx.doi.org/10.1007/s11787-017-0181-4
---------- VANCOUVER ----------
González, L.J., Lattanzi, M.B., Petrovich, A.G. An Alternative Definition of Quantifiers on Four-Valued Łukasiewicz Algebras. Log. Universalis. 2017;11(4):439-463.
http://dx.doi.org/10.1007/s11787-017-0181-4