Commutative BCK-algebras and quantum structures (Q1586458)

Many algebraic systems in which a subtraction-like operation is either a primitive or a derived notion -- such as BCK-algebras, Boolean rings, D-posets, effect algebras, \(l\)-groups, MV-algebras, orthoalgebras have been used to describe the structure of the system of propositions in various classical and nonclassical logics. Connections between such systems are being studied intensively. The paper under review fits in with this line of investigations and may be considered as a continuation of the joint paper by the author and \textit{H. S.~Kim} [Stud. Log. 60, 421-439 (1998; Zbl 0960.03051)]. It includes a short overview of known results concerning interrelations between commutative BCK-algebras, posets with difference and MV-algebras. However, the main subject studied this time by the author is commutative BCK-algebras with the relative cancellation property. Every such algebra is shown to be embeddable into the positive cone of an abelian \(l\)-group. Moreover, there is a faithful and full functor from the category of abelian \(l\)-groups into that of the BCK-algebras of the aforementioned type. (Recall that \(l\)-groups have been used for representing MV-algebras.) Also measures on such BCK-algebras are studied.