MV-algebras with operators (the commutative and the non-commutative case)
In the present paper we define the (pseudo) MV-algebras with n-ary operators, generalizing MV-modules and product MV-algebras. Our main results assert that there are bijective correspondences between the operators defined on a pseudo MV-algebra and the operators defined on the corresponding ℓ-group....
Saved in:
Published in | Discrete mathematics Vol. 274; no. 1; pp. 41 - 76 |
---|---|
Main Authors | , |
Format | Journal Article |
Language | English |
Published |
Amsterdam
Elsevier B.V
06.01.2004
Elsevier |
Subjects | |
Online Access | Get full text |
Cover
Loading…
Summary: | In the present paper we define the (pseudo) MV-algebras with
n-ary operators, generalizing MV-modules and product MV-algebras. Our main results assert that there are bijective correspondences between the operators defined on a pseudo MV-algebra and the operators defined on the corresponding ℓ-group. We also provide a categorical framework and we prove the analogue of Mundici's categorical equivalence between MV-algebras and abelian ℓ-groups with strong unit. Thus, the category of pseudo MV-algebras with operators is equivalent to some category of ℓ-groups with operators. |
---|---|
ISSN: | 0012-365X 1872-681X |
DOI: | 10.1016/S0012-365X(03)00080-3 |