Algebras in the positive cone of po-groups (Q698445)

In a recent paper [``Generalized pseudo-effect algebras'', in: A. Di Nola et al. (eds.), Lectures on soft computing and fuzzy logic. Heidelberg: Physica-Verlag. Advances in Soft Computing. 89-111 (2001; Zbl 1012.03063), reviewed above], the authors introduced the notion of a generalized pseudoeffect (GPE) algebra. Roughly, such an algebra is a non-commutative effect algebra without unit. A particular class of GPE-algebras arises from an additive po-group \(G\) as follows: Let \(G_0\) be a non-empty subset of the positive cone of \(G\), such that \(a - b\) and \(-b + a\) belong to \(G_0\) whenever \(a, b \in G_0\) and \(ab \leq a\); then \((G_0,+,0)\), where \(+\) is now the (partial) restriction of the group addition to \(G_0\), is a GPE-algebra with the ordering inherited from \(G\). Two conditions for a GPE-algebra to be of this type were given in the paper mentioned above. Now in the paper under review the authors systematize a number of special cases of GPE-algebras and the respective embedding theorems into a po-group; several known results are reproved, and their proofs are ``brought onto a single line''. Considered are: generalized effect algebras, generalized difference (GD) posets, Łukasiewicz BCK-algebras, commutative positive minimal clans, and their non-commutative counterparts. By a Łukasiewicz BCK-algebra the authors mean a commutative BCK-algebra with the relative cancellation property [see \textit{A. Dvurečenskij} and \textit{M. G. Graziano}, ``On representation of commutative BCK-algebras'', Demonstr. Math. 32, 227-246 (1999; Zbl 0942.06009)]. The classes of generalized effect algebras and of GD posets are known to be deffinitionally equivalent. Furthermore, a Łukasiewicz BCK-algebra is essentially a GD poset that happens to be a lower semilattice in which the difference operation extends to a order-monotone total operation. At last, commutative positive minimal clans are identified with those Łukasiewicz BCK-algebras that are lattice ordered. Connections between the four classes of non-commutative algebras are similar. The classes of generalized pseudodifference algebras and of pseudo-Łukasiewicz BCK-algebras are new. The latter one is shown to be definitionally equivalent to Bosbach's cone algebras [\textit{B. Bosbach}, ``Concerning cone algebras'', Algebra Univers. 15, 58-66 (1982; Zbl 0507.06013)].