A non-associative generalization of effect algebras
Effect algebras play an important role in the logic of quantum mechanics. The aim of this paper is to drop the associativity of addition. However, some important properties of effect algebras are preserved, e.g. every so-called skew effect algebra is still a bounded poset with an antitone involution. Moreover, skew effect algebras are fully characterized as certain bounded posets with sectionally switching involutions.
skew effect algebra antitone involution switching involution ssi-poset