The logical anomalies of quantum objects can be investigated in the semantics of quantum computational logics. One is dealing with new forms of quantum logic that have been inspired by quantum computation theories, where entanglement-phenomena play an important role. In this article we propose a semantic characterization for a weak form of first-order quantum computational logic with identity. We show how some intriguing questions that concern indiscernible quantum objects can be usefully analyzed in this logical framework.
Quantum Individuals, Indiscernibility and Entanglement in the Quantum Computational Semantics
Maria Luisa Dalla Chiara;Roberto Giuntini;Giuseppe Sergioli
2025-01-01
Abstract
The logical anomalies of quantum objects can be investigated in the semantics of quantum computational logics. One is dealing with new forms of quantum logic that have been inspired by quantum computation theories, where entanglement-phenomena play an important role. In this article we propose a semantic characterization for a weak form of first-order quantum computational logic with identity. We show how some intriguing questions that concern indiscernible quantum objects can be usefully analyzed in this logical framework.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
67. Quantum individuals.pdf
Open Access dal 12/07/2026
Tipologia:
versione post-print (AAM)
Dimensione
337.72 kB
Formato
Adobe PDF
|
337.72 kB | Adobe PDF | Visualizza/Apri |
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.
