It has been taken for granted for a long time that orthomodular lattices are the "algebraic counterpart" of orthomodular quantum logic. Pavicic and Megill have questioned this claim by pointing out that orthomodular quantum logic is sound and complete with respect to a proper supervariety of the variety OML of orthomodular lattices (the so-called weakly orthomodular lattices). The same authors conclude that "in the syntactical structure of quantum logic there is nothing orthomodular". After reviewing in a certain detail some concepts from Abstract Algebraic Logic, especially Blok and Pigozzi's theory of algebraisable logics, we argue that the weakly orthomodular semantics introduced by Pavicic and Megill is not a good semantics, and that the role of OML as an algebraic counterpart of quantum logic is unaected by their allegations.

On when a semantics is not a good semantics: The algebraisation of orthomodular logic

KOWALSKI, TOMASZ STANISLAW;PAOLI, FRANCESCO;GIUNTINI, ROBERTO
2016

Abstract

It has been taken for granted for a long time that orthomodular lattices are the "algebraic counterpart" of orthomodular quantum logic. Pavicic and Megill have questioned this claim by pointing out that orthomodular quantum logic is sound and complete with respect to a proper supervariety of the variety OML of orthomodular lattices (the so-called weakly orthomodular lattices). The same authors conclude that "in the syntactical structure of quantum logic there is nothing orthomodular". After reviewing in a certain detail some concepts from Abstract Algebraic Logic, especially Blok and Pigozzi's theory of algebraisable logics, we argue that the weakly orthomodular semantics introduced by Pavicic and Megill is not a good semantics, and that the role of OML as an algebraic counterpart of quantum logic is unaected by their allegations.
978-981-3146-27-3
Quantum logic; Orthomodular lattices; Abstract algebraic logic
File in questo prodotto:
File Dimensione Formato  
Paper versione bozza.pdf

Solo gestori archivio

Descrizione: articolo principale
Tipologia: versione post-print
Dimensione 308.68 kB
Formato Adobe PDF
308.68 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: http://hdl.handle.net/11584/156643
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact