{ "id": "1804.08136", "version": "v1", "published": "2018-04-22T16:54:59.000Z", "updated": "2018-04-22T16:54:59.000Z", "title": "Varieties of PBZ*-lattices", "authors": [ "Roberto Giuntini", "Claudia Mureşan", "Francesco Paoli" ], "comment": "36 pages", "categories": [ "math.LO", "math.RA" ], "abstract": "We investigate the structure theory of some subvarieties of the variety of \\emph{PBZ*-lattices}. These lattices with additional structure originate in the foundations of quantum mechanics and can be viewed as a common generalisation of orthomodular lattices and Kleene algebras expanded by an extra unary operation. We explore the connections between (subvarieties of) PBZ*-lattices and some neighbouring classes of algebras, including Stone algebras, as well as the relationships with the theories of subtractive and binary discriminator varieties.", "revisions": [ { "version": "v1", "updated": "2018-04-22T16:54:59.000Z" } ], "analyses": { "keywords": [ "binary discriminator varieties", "additional structure originate", "extra unary operation", "subvarieties", "stone algebras" ], "note": { "typesetting": "TeX", "pages": 36, "language": "en", "license": "arXiv", "status": "editable" } } }