The condition of σ-completeness related to orthomodular lattices places an important role in the study of quantum probability theory. In the framework of algebras with infinitary operations, an equational theory for the category of σ-complete orthomodular lattices is given. In this structure, we study the congruences theory and directly irreducible algebras establishing an equational completeness theorem. Finally, a Hilbert style calculus related to σ-complete orthomodular lattices is introduced and a completeness theorem is obtained.

An equational theory for σ -complete orthomodular lattices

Freytes, Hector
Primo
2020-01-01

Abstract

The condition of σ-completeness related to orthomodular lattices places an important role in the study of quantum probability theory. In the framework of algebras with infinitary operations, an equational theory for the category of σ-complete orthomodular lattices is given. In this structure, we study the congruences theory and directly irreducible algebras establishing an equational completeness theorem. Finally, a Hilbert style calculus related to σ-complete orthomodular lattices is introduced and a completeness theorem is obtained.
2020
Hilbert style calculus; Infinitary operations; σ-Complete orthomodular lattices;
File in questo prodotto:
File Dimensione Formato  
SigmaOMLsoco.pdf

Solo gestori archivio

Descrizione: Articolo principale
Tipologia: versione pre-print
Dimensione 192.91 kB
Formato Adobe PDF
192.91 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/280528
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 1
social impact