Geodesic
Normalization of $MV$-algebras
Mathematica Bohemica, Tome 130 (2005) no. 3, pp. 283-300
Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

We consider algebras determined by all normal identities of $MV$-algebras, i.e. algebras of many-valued logics. For such algebras, we present a representation based on a normalization of a sectionally involutioned lattice, i.e. a $q$-lattice, and another one based on a normalization of a lattice-ordered group.
We consider algebras determined by all normal identities of $MV$-algebras, i.e. algebras of many-valued logics. For such algebras, we present a representation based on a normalization of a sectionally involutioned lattice, i.e. a $q$-lattice, and another one based on a normalization of a lattice-ordered group.
DOI : 10.21136/MB.2005.134099
Classification : 06D05, 06D35, 06F20, 08B20
Keywords: $MV$-algebra; abelian lattice-ordered group; $q$-lattice; normalization of a variety 
@article{10_21136_MB_2005_134099,
     author = {Chajda, I. and Hala\v{s}, R. and K\"uhr, J. and Van\v{z}urov\'a, A.},
     title = {Normalization of $MV$-algebras},
     journal = {Mathematica Bohemica},
     pages = {283--300},
     year = {2005},
     volume = {130},
     number = {3},
     doi = {10.21136/MB.2005.134099},
     mrnumber = {2164658},
     zbl = {1112.06012},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.21136/MB.2005.134099/}
}
TY  - JOUR
AU  - Chajda, I.
AU  - Halaš, R.
AU  - Kühr, J.
AU  - Vanžurová, A.
TI  - Normalization of $MV$-algebras
JO  - Mathematica Bohemica
PY  - 2005
SP  - 283
EP  - 300
VL  - 130
IS  - 3
UR  - http://geodesic.mathdoc.fr/articles/10.21136/MB.2005.134099/
DO  - 10.21136/MB.2005.134099
LA  - en
ID  - 10_21136_MB_2005_134099
ER  - 
%0 Journal Article
%A Chajda, I.
%A Halaš, R.
%A Kühr, J.
%A Vanžurová, A.
%T Normalization of $MV$-algebras
%J Mathematica Bohemica
%D 2005
%P 283-300
%V 130
%N 3
%U http://geodesic.mathdoc.fr/articles/10.21136/MB.2005.134099/
%R 10.21136/MB.2005.134099
%G en
%F 10_21136_MB_2005_134099
Chajda, I.; Halaš, R.; Kühr, J.; Vanžurová, A. Normalization of $MV$-algebras. Mathematica Bohemica, Tome 130 (2005) no. 3, pp. 283-300. doi: 10.21136/MB.2005.134099

[1] Anderson, M., Feil, T.: Lattice-ordered groups. An Introduction. D. Reidel., Dordrecht, 1988. | MR

[2] Chang, C. C.: Algebraic analysis of many valued logics. Trans. Amer. Math. Soc. 88 (1958), 467–490. | DOI | MR | Zbl

[3] Chang, C. C.: A new proof of the Łukasziewicz axioms. Trans. Amer. Math. Soc. 93 (1959), 74–80. | MR

[4] Cignoli, R.: Free lattice-ordered abelian groups and varieties of $MV$-algebras. Proc. IX. Latin. Amer. Symp. Math. Logic, Part 1, Not. Log. Mat. 38 (1993), 113–118. | MR | Zbl

[5] Cignoli, R. L. O., D’Ottaviano, I. M. L., Mundici, D.: Algebraic Foundations of Many- Valued Reasoning. Kluwer, Dordrecht, 2000. | MR

[6] Chajda, I.: Lattices in quasiordered sets. Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 31 (1992), 6–12. | MR | Zbl

[7] Chajda, I.: Congruence properties of algebras in nilpotent shifts of varieties. General Algebra and Discrete Mathematics (K. Denecke, O. Lüders, eds.), Heldermann, Berlin, 1995, pp. 35–46. | MR | Zbl

[8] Chajda, I.: Normally presented varieties. Algebra Universalis 34 (1995), 327–335. | DOI | MR | Zbl

[9] Chajda, I., Graczyńska, E.: Algebras presented by normal identities. Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 38 (1999), 49–58. | MR

[10] Chajda, I., Halaš, R., Kühr, J.: Distributive lattices with sectionally antitone involutions. (to appear). | MR

[11] Mel’nik, I. I.: Nilpotent shifts of varieties. Math. Notes 14 (1973), 692–696. (Russian) | MR

[12] Mundici, D.: Interpretation of AF $C^{*}$-algebras in Łukasiewicz sentential calculus. J. Funct. Anal. 65 (1986), 15–63. | DOI | MR | Zbl

[13] Mundici, D.: $MV$-algebras are categorically equivalent to bouded commutative $BCK$- algebras. Math. Japon. 31 (1986), 889–894. | MR

[14] Rachůnek, J.: $MV$-algebras are categorically equivalent to a class of ${DRl}_{1(i)}$-semigroups. Math. Bohem. 123 (1998), 437–441. | MR

Cité par Sources :