PBZ*-Lattices: Structure Theory and Subvarieties

DOI10.4467/20842589RM.20.001.12433zbMath1458.06004arXiv1804.08136OpenAlexW3070219356MaRDI QIDQ5121957

Claudia Mureşan, Francesco Paoli, Roberto Giuntini

Publication date: 22 September 2020

Published in: Reports on Mathematical Logic (Search for Journal in Brave)

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

zbMATH Keywords

orthomodular latticeBrouwer-Zadeh latticeKleene latticeunsharp quantum theoryPBZ*-latticePBZ* subtractive variety

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Lattice ideals, congruence relations (06B10) Quantum logic (03G12) Subdirect products and subdirect irreducibility (08B26)

Related Items (4)

On PBZ*-lattices ⋮ Subreducts and subvarieties of PBZ *-lattices* ⋮ Unnamed Item ⋮ On the largest numbers of congruences of finite lattices

This page was built for publication: PBZ*-Lattices: Structure Theory and Subvarieties