Abstract
In previous investigations into the subject [Giuntini et al. (2007, Studia Logica, 87, 99–128), Paoli et al. (2008, Reports on Mathematical Logic, 44, 53–85), Bou et al. (2008, Soft Computing, 12, 341–352)], ' quasi-MV algebras have been mainly viewed as preordered structures w.r.t. the induced preorder relation of their quasi-MV term reducts. In this article, we shall focus on a different relation which partially orders cartesian ' quasi-MV algebras. We shall prove that: (i) every cartesian ' quasi-MV algebra is embeddable into an interval in a particular Abelian l-group with operators; (ii) the category of cartesian ' quasi-MV algebras isomorphic with the pair algebras over their own polynomial MV subreducts is equivalent both to the category of such l-groups (with strong order unit), and to the category of MV algebras. As a by-product of these results we obtain a purely group-theoretical equivalence, namely between the mentioned category of l-groups with operators and the category of Abelian l-groups (both with strong order unit).
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
