On the Structure of Generalized Effect Algebras and Separation Algebras
Download Full Text
Separation algebras are models of separation logic and effect algebras are models of unsharp quantum logics. We investigate these closely related classes of partial algebras as well as their noncommutative versions and the subclasses of (generalized) (pseudo-)orthoalgebras. We present an orderly algorithm for constructing all nonisomorphic generalized pseudoeffect algebras with n elements and use it to compute these algebras with up to 10 elements.
Algebra | Other Mathematics
S. Alexander, P. Jipsen, and N. Upegui: On the structure of generalized effect algebras and separation algebras, 17th RAMiCS (2018).