Quantum Individuals, Indiscernibility and Entanglement in the Quantum Computational Semantics

Maria Luisa Dalla Chiara;Roberto Leporini;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.