On the Structure of Generalized Effect Algebras and Separation Algebras
Files
Link to Full Text
Download Full Text
Description
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.
ISBN
978-3-030-02149-8
Publication Date
10-29-2018
Publisher
Springer
City
Cham, Switzerland
Disciplines
Algebra | Other Mathematics
Recommended Citation
S. Alexander, P. Jipsen, and N. Upegui: On the structure of generalized effect algebras and separation algebras, 17th RAMiCS (2018).
Copyright
Springer
Comments
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.