Pseudo-effect algebras and pseudo-difference posets (Q1768704): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
(2 intermediate revisions by one other user not shown) | |||
Property / author | |||
Property / author: Zhi-Hao Ma / rank | |||
Property / author | |||
Property / author: Zhi-Hao Ma / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Latest revision as of 05:37, 5 March 2024
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