A Note on Bosbach’s Cone Algebras

In 2002, Dvurečenskij extended Mundici’s equivalence between unital abelian l-groups and MV-algebras to the non-commutative case. We analyse the relationship to Bosbach’s cone algebras and clarify the rôle of the corresponding pair of L-algebras. As a consequence, it follows that one of the two L-algebra axioms can be dropped.