Abelian extensions of quantum logics
Quantum structures like OMLs, OMPs, orthoalgebras, effect algebras may be regarded as cancellative, unital partial abelian semigroups (PAS). In the paper, it is shown that every cancellative, unital PAS is an extension of an effect algebra by an abelian group.
scientific article; zbMATH DE number 1196964