@article{10_21136_CMJ_1995_128535,
author = {Jakub{\'\i}k, J\'an},
title = {On complete $MV$-algebras},
journal = {Czechoslovak Mathematical Journal},
pages = {473--480},
year = {1995},
volume = {45},
number = {3},
doi = {10.21136/CMJ.1995.128535},
mrnumber = {1344513},
zbl = {0841.06010},
language = {en},
url = {http://geodesic.mathdoc.fr/articles/10.21136/CMJ.1995.128535/}
}
Jakubík, Ján. On complete $MV$-algebras. Czechoslovak Mathematical Journal, Tome 45 (1995) no. 3, pp. 473-480. doi: 10.21136/CMJ.1995.128535
[1] C. C. Chang: Algebraic analysis of many-valued logics. Trans. Amer. Math. Soc. 88 (1958), 467–490. | DOI | MR | Zbl
[2] C. C. Chang: A new proof of the completeness of the Łukasiewicz axioms. Trans. Amer. Math. Soc. 93 (1959), 74–80. | MR | Zbl
[3] R. Cignoli: Complete and atomic algebras of the infinite valued Łukasiewicz logic. Studia Logica 50 (1991), 3–4375–384. | DOI | MR | Zbl
[4] L. Fuchs: Partially ordered algebraic systems. Pergamon Press, Oxford, 1963. | MR | Zbl
[5] D. Gluschankof: Cyclic ordered groups and $MV$-algebras. Czechoslov. Math. J. 43 (1993), 249–263. | MR | Zbl
[6] J. Jakubík: Direct product decompositions of $MV$-algebras. Czechoslov. Math. J (to appear).
[7] D. Mundici: Interpretation of $AFC^*$-algebras in Łukasiewicz sentential calculus. Jour. Functional. Anal. 65 (1986), 15–63. | DOI | MR
[8] D. Mundici: $MV$-algebras are categorically equivalent to bounded commutative $BCK$-algebras. Math. Japonica 31 (1986), 889–894. | MR | Zbl
[9] F. Šik: To the theory of lattice ordered groups. Czechoslov. Math. J. 6 (1956), 1–25. (Russian)
[10] T. Traczyk: On the variety of bounded commutative $BCK$-algebras. Math. Japonica 24 (1979), 238–282. | MR | Zbl
Cité par Sources :