PBZ*-Lattices: Structure Theory and Subvarieties
PBZ*-Lattices: Structure Theory and Subvarieties
Author(s): Roberto Giuntini, Claudia Mureşan, Francesco PaoliSubject(s): Logic, Analytic Philosophy
Published by: Wydawnictwo Uniwersytetu Jagiellońskiego
Keywords: orthomodular lattice; PBZ*-lattice; Brouwer-Zadeh lattice; Kleene lattice; unsharp quantum theory; subtractive variety;
Summary/Abstract: We investigate the structure theory of the variety of PBZ*-lattices and some of its proper subvarieties. 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 lay down the basics of the theories of ideals and of central elements in PBZ*-lattices, we prove some structure theorems, and we explore some connections with the theories of subtractive and binary discriminator varieties.
Journal: Reports on Mathematical Logic
- Issue Year: 2020
- Issue No: 55
- Page Range: 3-39
- Page Count: 37
- Language: English