Quantum Individuals, Indiscernibility and Entanglement in the Quantum Computational Semantics

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.