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 or- thomodular 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.

PBZ*-lattices: structure theory and subvarieties

R. Giuntini;C. Muresan;F. Paoli
2020-01-01

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 or- thomodular 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.
File in questo prodotto:
File Dimensione Formato  
pbz3newfp4.pdf

Solo gestori archivio

Tipologia: versione pre-print
Dimensione 263.88 kB
Formato Adobe PDF
263.88 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11584/273117
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 6
  • ???jsp.display-item.citation.isi??? 6
social impact