Pseudo-effect algebras and pseudo-difference posets (Q1768704)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Pseudo-effect algebras and pseudo-difference posets |
scientific article |
Statements
Pseudo-effect algebras and pseudo-difference posets (English)
0 references
15 March 2005
0 references
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.
0 references
difference operator
0 references
pseudo-difference poset
0 references
pseudo-effect algebra
0 references