Geodesic
Functional monadic $n$-valued Łukasiewicz algebras
Mathematica Bohemica, Tome 130 (2005) no. 4, pp. 337-348

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

MR Zbl
Some functional representation theorems for monadic $n$-valued Łukasiewicz algebras (qLk$_{n}$-algebras, for short) are given. Bearing in mind some of the results established by G. Georgescu and C. Vraciu (Algebre Boole monadice si algebre Łukasiewicz monadice, Studii Cercet. Mat. 23 (1971), 1027–1048) and P. Halmos (Algebraic Logic, Chelsea, New York, 1962), two functional representation theorems for qLk$_{n}$-algebras are obtained. Besides, rich qLk$_{n}$-algebras are introduced and characterized. In addition, a third theorem for these algebras is presented and the relationship between the three theorems is shown.
Some functional representation theorems for monadic $n$-valued Łukasiewicz algebras (qLk$_{n}$-algebras, for short) are given. Bearing in mind some of the results established by G. Georgescu and C. Vraciu (Algebre Boole monadice si algebre Łukasiewicz monadice, Studii Cercet. Mat. 23 (1971), 1027–1048) and P. Halmos (Algebraic Logic, Chelsea, New York, 1962), two functional representation theorems for qLk$_{n}$-algebras are obtained. Besides, rich qLk$_{n}$-algebras are introduced and characterized. In addition, a third theorem for these algebras is presented and the relationship between the three theorems is shown.
DOI : 10.21136/MB.2005.134208
Classification : 03G20, 06D30
Keywords: monadic $n$-valued Łukasiewicz algebra; monadic Boolean algebra; functional representation 
Figallo, A. V.; Sanza, C.; Ziliani, A. Functional monadic $n$-valued Łukasiewicz algebras. Mathematica Bohemica, Tome 130 (2005) no. 4, pp. 337-348. doi: 10.21136/MB.2005.134208
@article{10_21136_MB_2005_134208,
     author = {Figallo, A. V. and Sanza, C. and Ziliani, A.},
     title = {Functional monadic $n$-valued {{\L}ukasiewicz} algebras},
     journal = {Mathematica Bohemica},
     pages = {337--348},
     year = {2005},
     volume = {130},
     number = {4},
     doi = {10.21136/MB.2005.134208},
     mrnumber = {2182380},
     zbl = {1112.06010},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.21136/MB.2005.134208/}
}
TY  - JOUR
AU  - Figallo, A. V.
AU  - Sanza, C.
AU  - Ziliani, A.
TI  - Functional monadic $n$-valued Łukasiewicz algebras
JO  - Mathematica Bohemica
PY  - 2005
SP  - 337
EP  - 348
VL  - 130
IS  - 4
UR  - http://geodesic.mathdoc.fr/articles/10.21136/MB.2005.134208/
DO  - 10.21136/MB.2005.134208
LA  - en
ID  - 10_21136_MB_2005_134208
ER  - 
%0 Journal Article
%A Figallo, A. V.
%A Sanza, C.
%A Ziliani, A.
%T Functional monadic $n$-valued Łukasiewicz algebras
%J Mathematica Bohemica
%D 2005
%P 337-348
%V 130
%N 4
%U http://geodesic.mathdoc.fr/articles/10.21136/MB.2005.134208/
%R 10.21136/MB.2005.134208
%G en
%F 10_21136_MB_2005_134208

[1] Abad, M.: Estructuras cíclica y monádica de un álgebra de Łukasiewicz $n$-valente. Notas de Lógica Matemática 36. Inst. Mat. Univ. Nacional del Sur, Bahía Blanca, 1988. | MR

[2] Balbes, R., Dwinger, P.: Distributive Lattices. Univ. of Missouri Press, Columbia, 1974. | MR

[3] Bezhanishvili, G., Harding, J.: Functional monadic Heyting algebras. Algebra Universalis 48 (2002), 1–10. | DOI | MR

[4] Boicescu, C., Filipoiu, A., Georgescu, G., Rudeanu, S.: Łukasiewicz-Moisil Algebras. North-Holland, Amsterdam, 1991.

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

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

[7] Figallo, A. V., Pascual, I., Ziliani, A.: Notes on monadic $n$-valued Lukasiewicz algebras. Math. Bohem. 129 (2004), 255–271. | MR

[8] Georgescu, G., Vraciu, C.: Algebre Boole monadice si algebre Łukasiewicz monadice. Studii Cercet. Mat. 23 (1971), 1025–1048. | MR

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

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

[11] Halmos, P.: Lectures on Boolean Algebra. Van Nostrand, Princeton, 1963. | MR

[12] Kalman, J. A.: Lattices with involution. Trans. Amer. Math. Soc. 87 (1958), 485–491. | DOI | MR | Zbl

[13] Moisil, Gr. C.: Notes sur les logiques non-chrysippiennes. Ann. Sci. Univ. Jassy 27 (1941), 86–98. | MR | Zbl

[14] Moisil, Gr. C.: Le algebre di Łukasiewicz. An. Univ. C.I. Parhon. Acta Logica 6 (1963), 97–135. | MR | Zbl

[15] Moisil, Gr. C.: Sur les logiques de Łukasiewicz a un nombre fini de valeurs. Rev. Roum. Math. Pures et Appl. 9 (1964), 905–920. | MR | Zbl

[16] Moisil, Gr. C.: Essais sur les Logiques non Chrysippiennes. Bucarest, 1972. | MR | Zbl

[17] Monteiro, A.: Algebras de De Morgan. Lectures given at the Univ. Nac. del Sur, Bahía Blanca, 1962.

[18] 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. (French translation in Notas de Lógica Matemática 1, Instituto de Matemática, Universidad Nacional del Sur, Bahía Blanca 1974, 1–16). | MR

[19] Monteiro, L.: Algebras de Łukasiewicz trivalentes monádicas. Ph. D. Thesis. Notas de Lógica Matemática 32. Univ. Nacional del Sur, Bahía Blanca, 1974. | MR | Zbl

[20] Sicoe, C.: On many-valued Łukasiewicz algebras. Proc. Japan Acad. 43 (1967), 725–728. | MR | Zbl

[21] Sicoe, C.: Sur la dèfinition des algèbres Lukasiewicziennes polyvalentes. Rev. Roum. Math. Pures et Appl. 13 (1968), 1027–1030. | MR | Zbl

Cité par Sources :