In this survey we consider the variety of unsharp orthomodular lattices. We will see that there are pretty smooth conditions that neatly generalize a great deal of the theory of orthomodular lattices. In particular, we will characterize the concept of block in this framework towards an appropriate notion of commutativity. Then, we capitalize on this fact and describe a categorical equivalence between orthomodular lattices, with fixed p-filters, and the variety of unsharp orthomodular lattices.

A survey on unsharp orthomodular lattices: A unifying framework

Ledda Antonio
;
Vergottini Gandolfo
2024-01-01

Abstract

In this survey we consider the variety of unsharp orthomodular lattices. We will see that there are pretty smooth conditions that neatly generalize a great deal of the theory of orthomodular lattices. In particular, we will characterize the concept of block in this framework towards an appropriate notion of commutativity. Then, we capitalize on this fact and describe a categorical equivalence between orthomodular lattices, with fixed p-filters, and the variety of unsharp orthomodular lattices.
2024
Boolean algebras; Stone algebras; Kleene algebras; MV algebras; orthomodular lattices; p-filter; categorical equivalence; non-classical logic; sharp element; dense element; pseudocomplementation; regularity
File in questo prodotto:
File Dimensione Formato  
A survey on unsharp orthomodular lattices. A unifying framework.pdf

accesso aperto

Tipologia: versione editoriale (VoR)
Dimensione 521.42 kB
Formato Adobe PDF
521.42 kB Adobe PDF Visualizza/Apri

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/463145
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact