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).
In Relational and Algebraic Methods in Computer Science, the proceedings of the 17th International Conference, RAMiCS 2018, in Groningen, The Netherlands, from October 29th-November 1st, 2018. Dr. Jipsen's chapter begins on page 148.
This text is only partially available through the link provided; some pages are not included. Please visit your local library or purchase the book through the "Buy This Book" link above to read the full text.