The variety of (pointed) residuated lattices includes a vast proportion of the classes of algebras that are relevant for algebraic logic, e.g., ℓ-groups, Heyting algebras, MV-algebras, or De Morgan monoids. Among the outliers, one counts orthomodular lattices and other varieties of quantum algebras. We suggest a common framework—pointed left-residuated ℓ-groupoids—where residuated structures and quantum structures can all be accommodated. We investigate the lattice of subvarieties of pointed left-residuated ℓ-groupoids, their ideals, and develop a theory of left nuclei. Finally, we extend some parts of the theory of join-completions of residuated ℓ-groupoids to the left-residuated case, giving a new proof of MacLaren’s theorem for orthomodular lattices.

Residuated structures and orthomodular lattices

fazio, davide;ledda, antonio;paoli, francesco
2021-01-01

Abstract

The variety of (pointed) residuated lattices includes a vast proportion of the classes of algebras that are relevant for algebraic logic, e.g., ℓ-groups, Heyting algebras, MV-algebras, or De Morgan monoids. Among the outliers, one counts orthomodular lattices and other varieties of quantum algebras. We suggest a common framework—pointed left-residuated ℓ-groupoids—where residuated structures and quantum structures can all be accommodated. We investigate the lattice of subvarieties of pointed left-residuated ℓ-groupoids, their ideals, and develop a theory of left nuclei. Finally, we extend some parts of the theory of join-completions of residuated ℓ-groupoids to the left-residuated case, giving a new proof of MacLaren’s theorem for orthomodular lattices.
2021
Completions; Dedekind–MacNeille completions; Left-residuated groupoids; Orthomodular lattices; Quantum structures; Residuated groupoids; Residuated lattices
File in questo prodotto:
File Dimensione Formato  
Articolo versione stampa (open access).pdf

accesso aperto

Tipologia: versione editoriale (VoR)
Dimensione 542.05 kB
Formato Adobe PDF
542.05 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/317252
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? 4
social impact