Geodesic
MV-algebras are categorically equivalent to a class of $\scr{DR}l\sb {1(i)}$-semigroups
Mathematica Bohemica, Tome 123 (1998) no. 4, pp. 437-441

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

MR Zbl
In the paper it is proved that the category of \MV-algebras is equivalent to the category of bounded \DRl-semigroups satisfying the identity $1-(1-x)=x$. Consequently, by a result of D. Mundici, both categories are equivalent to the category of bounded commutative \BCK-algebras.
In the paper it is proved that the category of \MV-algebras is equivalent to the category of bounded \DRl-semigroups satisfying the identity $1-(1-x)=x$. Consequently, by a result of D. Mundici, both categories are equivalent to the category of bounded commutative \BCK-algebras.
DOI : 10.21136/MB.1998.125964
Classification : 03G20, 06D30, 06D35, 06F05, 06F35
Keywords: categorical equivalence; bounded \BCK-algebra; \MV-algebra; \DRl-semigroup 
Rachůnek, Jiří. MV-algebras are categorically equivalent to a class of $\scr{DR}l\sb {1(i)}$-semigroups. Mathematica Bohemica, Tome 123 (1998) no. 4, pp. 437-441. doi: 10.21136/MB.1998.125964
@article{10_21136_MB_1998_125964,
     author = {Rach\r{u}nek, Ji\v{r}{\'\i}},
     title = {MV-algebras are categorically equivalent to a class of $\scr{DR}l\sb {1(i)}$-semigroups},
     journal = {Mathematica Bohemica},
     pages = {437--441},
     year = {1998},
     volume = {123},
     number = {4},
     doi = {10.21136/MB.1998.125964},
     mrnumber = {1667115},
     zbl = {0934.06014},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.21136/MB.1998.125964/}
}
TY  - JOUR
AU  - Rachůnek, Jiří
TI  - MV-algebras are categorically equivalent to a class of $\scr{DR}l\sb {1(i)}$-semigroups
JO  - Mathematica Bohemica
PY  - 1998
SP  - 437
EP  - 441
VL  - 123
IS  - 4
UR  - http://geodesic.mathdoc.fr/articles/10.21136/MB.1998.125964/
DO  - 10.21136/MB.1998.125964
LA  - en
ID  - 10_21136_MB_1998_125964
ER  - 
%0 Journal Article
%A Rachůnek, Jiří
%T MV-algebras are categorically equivalent to a class of $\scr{DR}l\sb {1(i)}$-semigroups
%J Mathematica Bohemica
%D 1998
%P 437-441
%V 123
%N 4
%U http://geodesic.mathdoc.fr/articles/10.21136/MB.1998.125964/
%R 10.21136/MB.1998.125964
%G en
%F 10_21136_MB_1998_125964

[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 Lukasiewicz axioms. Trans. Amer. Math. Soc. 93 (1959), 74-80. | MR | Zbl

[3] R. Cignoli: 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

[4] K. Iséki, S. Tanaka: An introduction to the theory of BCK-algebras. Math. Japonica. 23 (1978), 1-26. | MR

[5] T. Kovář: A general theory of dually residuated lattice ordered monoids. Thesis, Palacky Univ. Olomouc, 1996.

[6] T. Kovář: Two remarks on dually residuated lattice ordered semigroups. Math. Slovaca. To appear. | MR

[7] F. Lacava: Some properties of L-algebras and existencially closed L-algebras. Boll. Un. Mat. Ital., A(5) 16 (1979), 360-366. (In Italian.) | MR

[8] D. Mundici: Interpretation of AF C*-algebras in Lukasiewicz sentential calculus. J. Funct. Analys. 65 (1986), 15-63. | DOI | MR

[9] D. Mundici: MV-algebras are categorically equivalent to bounded commutative BCK-algebras. Math. Japonica 31 (1986), 889-894. | MR | Zbl

[10] J. Rachůnek: DRI-semigroups and MV-algebras. Czechoslovak Math. J. 123 (1998), 365-372. | DOI | MR

[11] K. L. N. Swamy: Dually residuated lattice ordered semigroups. Math. Ann. 159 (1965), 105-114. | DOI | MR | Zbl

[12] S. Tanaka: On $\Lambda$-commutative algebras. Math. Sem. Notes Kobe 3 (1975), 59-64. | MR | Zbl

[13] T. Traczyk: On the variety of bounded commutative BCK-algebras. Math. Japonica 24 (1979), 283-292. | MR | Zbl

[14] H. Yutani: Quasi-commutative BCK-algebras and congruence relations. Math. Sem. Notes Kobe 5 (1977), 469-480. | MR | Zbl

Cité par Sources :