On PBZ*-lattices
From MaRDI portal
Publication:2658283
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
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