A Note on 3×3-valued Łukasiewicz Algebras with Negation

Carlos Gallardo; Alicia Ziliani

doi:10.18778/0138-0680.2021.10

Authors

Carlos Gallardo Universidad Nacional del Sur, Departamento de Matemática
Alicia Ziliani Universidad Nacional del Sur, Departamento de Matemática https://orcid.org/0000-0002-2908-5218

DOI:

https://doi.org/10.18778/0138-0680.2021.10

Keywords:

\(n\)-valued Łukasiewicz-Moisil algebras, \(n \times m\)-valued Łukasiewicz algebras with negation, free algebras, lattice of subvarieties

Abstract

In 2004, C. Sanza, with the purpose of legitimizing the study of \(n\times m\)-valued Łukasiewicz algebras with negation (or \(\mathbf{NS}_{n\times m}\)-algebras) introduced \(3 \times 3\)-valued Łukasiewicz algebras with negation. Despite the various results obtained about \(\mathbf{NS}_{n\times m}\)-algebras, the structure of the free algebras for this variety has not been determined yet. She only obtained a bound for their cardinal number with a finite number of free generators. In this note we describe the structure of the free finitely generated \(NS_{3 \times 3}\)-algebras and we determine a formula to calculate its cardinal number in terms of the number of free generators. Moreover, we obtain the lattice \(\Lambda(\mathbf{NS}_{3\times 3})\) of all subvarieties of \(\mathbf{NS}_{3\times 3}\) and we show that the varieties of Boolean algebras, three-valued Łukasiewicz algebras and four-valued Łukasiewicz algebras are proper subvarieties of \(\mathbf{NS}_{3\times 3}\).

References

[1] N. Belnap, How a computer should think, Oriel Press, Boston (1977), pp. 30–56.
Google Scholar

[2] V. Boicescu, A. Filipoiu, G. Georgescu, S.Rudeanu, Łukasiewicz-Moisil Algebras, vol. 49 of Annals of Discrete Mathematics, North-Holland, Amsterdam (1991).
Google Scholar

[3] S. Burris, H. P. Sankappanavar, A Course in Universal Algebra, vol. 78 of Graduate Texts in Mathematics, Springer-Verlag, New York-Berlin (1981).
Google Scholar DOI: https://doi.org/10.1007/978-1-4613-8130-3

[4] R. Cignoli, Moisil Algebras, vol. 27 of Notas de Lógica Matemática, Universidad Nacional del Sur, Argentina (1970).
Google Scholar

[5] A. Day, Splitting algebras and a weak notion of projectivity, Algebra Universalis, vol. 5 (1975), pp. 153–162, DOI: https://doi.org/10.1007/BF02485249
Google Scholar DOI: https://doi.org/10.1007/BF02485249

[6] A. Day, On the lattice of subvarietes, Houston Journal of Mathematics, vol. 5 (1979), pp. 183–192.
Google Scholar

[7] A. V. Figallo, C. Sanza, The NSn×m–propositional calculus, Bulletin of the Section of Logic, vol. 37 (2008), pp. 67–79.
Google Scholar

[8] C. Gallardo, C. Sanza, A. Ziliani, F–multipliers and the localization of LMn×m–algebras, Analele Stiintifice ale Universitatii Ovidius Constanta, vol. 21 (2013), pp. 285–304, DOI: https://doi.org/10.2478/auom-2013-0019
Google Scholar DOI: https://doi.org/10.2478/auom-2013-0019

[9] B. Jonnson, Algebras whose congruence lattices are distributive, Mathematica Scandinavica, vol. 21 (1967), pp. 110–121, DOI: https://doi.org/10.7146/math.scand.a-10850
Google Scholar DOI: https://doi.org/10.7146/math.scand.a-10850

[10] G. Moisil, Notes sur les logiques non-chrysippiennes, Annales Scientifiques de l’Université de Jassy, vol. 27 (1941), pp. 86–98.
Google Scholar

[11] G. Moisil, Le algebre di Łukasiewicz, Analele Universitii Bucureti, seria Acta logica, vol. 6 (1963), pp. 97–135.
Google Scholar

[12] C. Sanza, Algebras de Łukasiewicz n×m-valuadas con negación, Ph.D. thesis, Universidad Nacional del Sur, Argentina (2004).
Google Scholar

[13] C. Sanza, Notes on n×m–valued Łukasiewicz algebras with negation, Logic Journal of the IGPL, vol. 12 (2004), pp. 499–507, DOI: https://doi.org/10.1093/jigpal/12.6.499
Google Scholar DOI: https://doi.org/10.1093/jigpal/12.6.499

[14] C. Sanza, n×m–valued Łukasiewicz algebras with negation, Reports on Mathematical Logic, vol. 40 (2006), pp. 83–106.
Google Scholar

[15] C. Sanza, On n×m–valued Łukasiewicz-Moisil algebras, Central European Journal of Mathematics, vol. 6 (2008), pp. 372–383, DOI: https://doi.org/10.2478/s11533-008-0035-7
Google Scholar DOI: https://doi.org/10.2478/s11533-008-0035-7

[16] W. Suchoń, Matrix Łukasiewicz algebras, Reports on Mathematical Logic, vol. 4 (1975), pp. 91–104.
Google Scholar