Geodesic
Monadic $\boldsymbol n\boldsymbol \times \boldsymbol m$-valued Łukasiewicz-Moisil algebras
Mathematica Bohemica, Tome 137 (2012) no. 4, pp. 425-447

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

MR Zbl
Here we initiate an investigation into the class $\boldsymbol m\boldsymbol L\boldsymbol M_{\boldsymbol n\boldsymbol \times \boldsymbol m}$ of monadic $n\times m$-valued Łukasiewicz-Moisil algebras (or $mLM_{n \times m}$-algebras), namely $n\times m$-valued Łukasiewicz-Moisil algebras endowed with a unary operation. These algebras constitute a generalization of monadic $n$-valued Łukasiewicz-Moisil algebras. In this article, the congruences on these algebras are determined and subdirectly irreducible algebras are characterized. From this last result it is proved that $\boldsymbol m\boldsymbol L\boldsymbol M_{\boldsymbol n\boldsymbol \times \boldsymbol m}$ is a discriminator variety and as a consequence, the principal congruences are characterized. Furthermore, the number of congruences of finite $mLM_{n \times m}$-algebras is computed. In addition, a topological duality for $mLM_{n \times m}$-algebras is described and a characterization of $mLM_{n \times m}$-congruences in terms of special subsets of the associated space is shown. Moreover, the subsets which correspond to principal congruences are determined. Finally, some functional representation theorems for these algebras are given and the relationship between them is pointed out.
Here we initiate an investigation into the class $\boldsymbol m\boldsymbol L\boldsymbol M_{\boldsymbol n\boldsymbol \times \boldsymbol m}$ of monadic $n\times m$-valued Łukasiewicz-Moisil algebras (or $mLM_{n \times m}$-algebras), namely $n\times m$-valued Łukasiewicz-Moisil algebras endowed with a unary operation. These algebras constitute a generalization of monadic $n$-valued Łukasiewicz-Moisil algebras. In this article, the congruences on these algebras are determined and subdirectly irreducible algebras are characterized. From this last result it is proved that $\boldsymbol m\boldsymbol L\boldsymbol M_{\boldsymbol n\boldsymbol \times \boldsymbol m}$ is a discriminator variety and as a consequence, the principal congruences are characterized. Furthermore, the number of congruences of finite $mLM_{n \times m}$-algebras is computed. In addition, a topological duality for $mLM_{n \times m}$-algebras is described and a characterization of $mLM_{n \times m}$-congruences in terms of special subsets of the associated space is shown. Moreover, the subsets which correspond to principal congruences are determined. Finally, some functional representation theorems for these algebras are given and the relationship between them is pointed out.
DOI : 10.21136/MB.2012.142998
Classification : 03G20, 06D30
Keywords: $n$-valued Łukasiewicz-Moisil algebra; monadic $n$-valued Łukasiewicz-Moisil algebra; congruence; subdirectly irreducible algebra; discriminator variety; Priestley space 
Figallo, A. V.; Sanza, C. Monadic $\boldsymbol n\boldsymbol \times \boldsymbol m$-valued Łukasiewicz-Moisil algebras. Mathematica Bohemica, Tome 137 (2012) no. 4, pp. 425-447. doi: 10.21136/MB.2012.142998
@article{10_21136_MB_2012_142998,
     author = {Figallo, A. V. and Sanza, C.},
     title = {Monadic $\boldsymbol n\boldsymbol \times \boldsymbol m$-valued {{\L}ukasiewicz-Moisil} algebras},
     journal = {Mathematica Bohemica},
     pages = {425--447},
     year = {2012},
     volume = {137},
     number = {4},
     doi = {10.21136/MB.2012.142998},
     mrnumber = {3058274},
     zbl = {1274.03104},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.21136/MB.2012.142998/}
}
TY  - JOUR
AU  - Figallo, A. V.
AU  - Sanza, C.
TI  - Monadic $\boldsymbol n\boldsymbol \times \boldsymbol m$-valued Łukasiewicz-Moisil algebras
JO  - Mathematica Bohemica
PY  - 2012
SP  - 425
EP  - 447
VL  - 137
IS  - 4
UR  - http://geodesic.mathdoc.fr/articles/10.21136/MB.2012.142998/
DO  - 10.21136/MB.2012.142998
LA  - en
ID  - 10_21136_MB_2012_142998
ER  - 
%0 Journal Article
%A Figallo, A. V.
%A Sanza, C.
%T Monadic $\boldsymbol n\boldsymbol \times \boldsymbol m$-valued Łukasiewicz-Moisil algebras
%J Mathematica Bohemica
%D 2012
%P 425-447
%V 137
%N 4
%U http://geodesic.mathdoc.fr/articles/10.21136/MB.2012.142998/
%R 10.21136/MB.2012.142998
%G en
%F 10_21136_MB_2012_142998

[1] Balbes, R., Dwinger, Ph.: Distributive Lattices. Univ. of Missouri Press, Columbia (1974). | MR | Zbl

[2] Boicescu, V., Filipoiu, A., Georgescu, G., Rudeanu, S.: Łukasiewicz-Moisil Algebras. North-Holland, Amsterdam (1991). | MR | Zbl

[3] Burris, S., Sankappanavar, H. P.: A Course in Universal Algebra, Graduate Texts in Mathematics, Vol. 78. Springer, Berlin (1981). | DOI | MR

[4] Cignoli, R.: Moisil Algebras, Notas de Lógica Matemática 27. Inst. Mat. Univ. Nacional del Sur, Bahía Blanca (1970). | MR

[5] Cignoli, R.: Quantifiers on distributive lattices. Discrete Math. 96 (1991), 183-197. | DOI | MR | Zbl

[6] Cornish, W., Fowler, P.: Coproducts of De Morgan algebras. Bull. Aust. Math. Soc. 16 (1977), 1-13. | DOI | MR | Zbl

[7] Figallo, A. V., Sanza, C.: Advances in monadic $n\times m$-valued Łukasiewicz algebras with negation. Abstracts of Lectures, Tutorials and Talks. International Conference on Order, Algebra and Logics. Vanderbilt University, Nashville, USA (2007), 46. | MR

[8] Figallo, A. V., Sanza, C.: The ${\cal NS}_{n\times m}$-propositional calculus. Bull. Sect. Log. 35 (2008), 67-79. | MR

[9] Figallo, A. V., Sanza, C., Ziliani, A.: Functional monadic $n$-valued Łukasiewicz algebras. Math. Bohem. 130 (2005), 337-348. | MR | Zbl

[10] Georgescu, G., Vraciu, C.: Algebre Boole monadice si algebre Łukasiewicz monadice. Studii Cerc. Mat. 23 (1971), 1025-1048.

[11] Halmos, P.: Algebraic Logic I. Monadic Boolean algebras. Compositio Math. 12 (1955), 217-249. | MR

[12] Halmos, P.: Algebraic Logic. Chelsea, New York (1962). | MR | Zbl

[13] Halmos, P.: Lectures on Boolean Algebras. Van Nostrand, Princeton (1963). | MR | Zbl

[14] Moisil, Gr. C.: Essais sur les logiques non Chrysippiennes. Bucarest (1972). | MR | Zbl

[15] Monteiro, A., Varsavsky, O.: Algebras de Heyting monádicas. Actas de las X Jornadas de la Unión Matemática Argentina, Bahía Blanca (1957), 52-62.

[16] Monteiro, L.: Algebras de Lukasiewicz trivalentes monádicas. Notas de Lógica Matemática 32, Inst. Mat. Univ. Nacional del Sur, Bahía Blanca Spanish (1974). | MR | Zbl

[17] Priestley, H.: Representation of distributive lattices by means of ordered Stone spaces. Bull. Lond. Math. Soc. 2 (1970), 186-190. | DOI | MR | Zbl

[18] Priestley, H.: Ordered topological spaces and the representation of distributive lattices. Proc. Lond. Math. Soc., III. Ser. 24 (1972), 507-530. | DOI | MR | Zbl

[19] Priestley, H.: Ordered sets and duality for distributive lattices. Ann. Discrete Math. 23 (1984), 39-60. | MR | Zbl

[20] Sanza, C.: Algebras de Łukasiewicz matriciales $n\times m$-valuadas con negación monádicas. Noticiero de la Unión Matemática, Argentina (2002), 165.

[21] Sanza, C.: Notes on $n\times m$-valued Łukasiewicz algebras with negation. Log. J. IGPL 12 (2004), 499-507. | DOI | MR | Zbl

[22] Sanza, C.: Algebras de Łukasiewicz $n\times m$-valuadas con negación. Ph. D. Thesis, Univ. Nacional del Sur, Bahía Blanca, Argentina (2005).

[23] Sanza, C.: On monadic $n\times m$-valued Łukasiewicz algebras with negation. Algebraic and Topological Methods in Non-Classical Logics II. Abstracts, Barcelona, España (2005), 71. | MR

[24] Sanza, C.: $n\times m$-valued Łukasiewicz algebras with negation. Rep. Math. Logic 40 (2006), 83-106. | MR | Zbl

[25] Sanza, C.: On $n\times m$-valued Łukasiewicz-Moisil algebras. Cent. Eur. J. Math. 6 (2008), 372-383. | DOI | MR | Zbl

[26] Suchoń, W.: Matrix Łukasiewicz algebras. Rep. Math. Logic 4 (1975), 91-104. | Zbl

[27] Werner, H.: Discriminator-Algebras, Algebraic Representation and Model Theoretic Properties. Akademie, Berlin (1978). | MR | Zbl

Cité par Sources :