Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Burmeister, P.: A Model Theoretic Oriented Approach to Partial Algebras, vol. 32. Akademie-Verlag, Berlin (1986). http://www2.mathematik.tu-darmstadt.de/Math-Net/Lehrveranstaltungen/Lehrmaterial/SS2002/AllgemeineAlgebra/download/pa86.pdf
Burmeister, P.: Lecture notes on universal algebra, many-sorted partial algebras (2002). http://www2.mathematik.tu-darmstadt.de/Math-Net/Lehrveranstaltungen/Lehrmaterial/SS2002/AllgemeineAlgebra/download/LNPartAlg.pdf
Calcagno, C., O’Hearn, P.W., Yang, H.: Local action and abstract separation logic. In: Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science, LICS 2007, pp. 366–378, Washington, DC (2007)
Dockins, R., Hobor, A., Appel, A.W.: A fresh look at separation algebras and share accounting. In: Hu, Z. (ed.) APLAS 2009. LNCS, vol. 5904, pp. 161–177. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-10672-9_13
Dvurecenskij, A., Vetterlein, T.: Pseudoeffect algebras. I. Basic properties. Int. J. Theor. Phys. 40(3), 685–701 (2001)
Foulis, D.J., Bennett, M.K.: Effect algebras and unsharp quantum logics. Found. Phys. 24, 1325–1346 (1994)
Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated lattices: an algebraic glimpse at substructural logics. In: Studies in Logic and the Foundations of Mathematics. Elsevier B. V., Amsterdam (2007)
Jipsen, P.: Computer-aided investigations of relation algebras. ProQuest LLC, Ann Arbor, MI, Ph.D. thesis, Vanderbilt University (1992)
Jipsen, P.: Discriminator varieties of Boolean algebras with residuated operators. In: Algebraic Methods in Logic and in Computer Science, vol. 28, pp. 239–252. Banach Center Publications, Warsaw (1993). Polish Acad. Sci. Inst. Math, Warsaw
Jónsson, B., Tsinakis, C.: Relation algebras as residuated Boolean algebras. Algebra Universalis 30(4), 469–478 (1993)
McCune, W.: Prover9 and Mace4 (2005–2010). https://www.cs.unm.edu/~mccune/mace4/
Roumen, F.A.: Effect algebroids. Ph.D. thesis. Radboud University (2017)
Rump, W., Yang, Y.C.: Non-commutative logical algebras and algebraic quantales. Ann. Pure Appl. Logic 165, 759–785 (2014)
The Sage Developers. Sagemath, The Sage Mathematics Software System (Version 8.1) (2017). http://www.sagemath.org
Staruch, B.: HSP-type characterization of strong equational classes of partial algebras. Studia Logica 93(1), 41–65 (2009)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Alexander, S., Jipsen, P., Upegui, N. (2018). On the Structure of Generalized Effect Algebras and Separation Algebras. In: Desharnais, J., Guttmann, W., Joosten, S. (eds) Relational and Algebraic Methods in Computer Science. RAMiCS 2018. Lecture Notes in Computer Science(), vol 11194. Springer, Cham. https://doi.org/10.1007/978-3-030-02149-8_10
Download citation
DOI: https://doi.org/10.1007/978-3-030-02149-8_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-02148-1
Online ISBN: 978-3-030-02149-8
eBook Packages: Computer ScienceComputer Science (R0)