Pseudo-effect algebras and pseudo-difference posets (Q1768704)

It is now well known that effect algebras and difference posets are algebraically equivalent. A pseudo-effect algebra is, roughly, a noncommutative effect algebra. The authors introduce two operations, left and right subtraction, on a pseudo-effect algebra and study their elementary properties. In particular, they isolate five such properties and then define a pseudo-difference poset as a bounded poset with two partial binary operations that have just these properties. The main theorem claims that ``pseudo-effect algebras and pseudo-difference posets are the same thing''. A minor gap in its proof: it is not made explicit that the pseudo-effect algebra constructed from a pseudo-difference poset which is induced by some pseudo-effect algebra coincides with this original one.