On PBZ*-lattices

DOI10.1007/978-3-030-53654-1_10zbMath1498.06017arXiv1911.00094OpenAlexW2984041725MaRDI QIDQ2658283

Claudia Mureşan, Francesco Paoli, Roberto Giuntini

Publication date: 19 March 2021

Full work available at URL: https://arxiv.org/abs/1911.00094

zbMATH Keywords

orthomodular latticesquantum logicBrouwer-Zadeh latticesnonclassical modal algebrasPBZ*-lattices

Mathematics Subject Classification ID

Lattices of varieties (08B15) Other algebras related to logic (03G25) Complemented lattices, orthocomplemented lattices and posets (06C15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On independent varieties and some related notions
• Algebraic models of deviant modal operators based on De Morgan and Kleene lattices
• Algebraic structures in the vicinity of pre-rough algebra and their logics
• A new view of effects in a Hilbert space
• Joins and subdirect products of varieties
• On some properties of PBZ\(^*\)-lattices
• Classical modal De Morgan algebras
• Amalgamation property for the class of basic algebras and some of its natural subclasses
• A propositional logic with explicit fixed points
• Subdirectly irreducible and free Kleene-Stone algebras
• Brouwer-Zadeh posets and three-valued Łukasiewicz posets
• BZMV\(^{\text{dM}}\) algebras and Stonian MV-algebras (applications to fuzzy sets and rough approximations)
• Priestley duality for quasi-Stone algebras
• De Morgan algebras with a quasi-Stone operator
• A note on the join and subdirect product of equational classes
• PBZ*-lattices: ordinal and horizontal sums
• Basic Propositional Calculus I
• Quasi‐Stone algebras
• An abstract algebraic logic approach to tetravalent modal logics
• PBZ*-Lattices: Structure Theory and Subvarieties
• Joins and Direct Products of Equational Classes
• The Selfadjoint Operators of a Von Neumann Algebra Form a Conditionally Complete Lattice
• Basic propositional calculus. II: Interpolation

This page was built for publication: On PBZ*-lattices