In this work we develop a modal structure for the simultaneous treatment of actual and possible properties of quantum systems. A logical system based on orthomodular lattices enriched with a modal operator is given, obtaining algebraic completeness and completeness with respect to a Kripke-style semantic. We show that, in spite of the fact that, the language is enriched with the addition of a modal operator, contextuality remains a central feature of quantum systems.
A logic-algebraic framework for contextuality and modality in quantum systems
FREYTES, HECTOR CARLOS
2014-01-01
Abstract
In this work we develop a modal structure for the simultaneous treatment of actual and possible properties of quantum systems. A logical system based on orthomodular lattices enriched with a modal operator is given, obtaining algebraic completeness and completeness with respect to a Kripke-style semantic. We show that, in spite of the fact that, the language is enriched with the addition of a modal operator, contextuality remains a central feature of quantum systems.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I metadati presenti in IRIS UNICA sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono protetti da diritto d'autore, salvo diversa indicazione.
