Foundations of Physics 40 (9-10):1494-1518 (2010)

Authors
Abstract
The characteristic holistic features of the quantum theoretic formalism and the intriguing notion of entanglement can be applied to a field that is far from microphysics: logical semantics. Quantum computational logics are new forms of quantum logic that have been suggested by the theory of quantum logical gates in quantum computation. In the standard semantics of these logics, sentences denote quantum information quantities: systems of qubits (quregisters) or, more generally, mixtures of quregisters (qumixes), while logical connectives are interpreted as special quantum logical gates (which have a characteristic reversible and dynamic behavior). In this framework, states of knowledge may be entangled, in such a way that our information about the whole determines our information about the parts; and the procedure cannot be, generally, inverted. In spite of its appealing properties, the standard version of the quantum computational semantics is strongly “Hilbert-space dependent”. This certainly represents a shortcoming for all applications, where real and complex numbers do not generally play any significant role (as happens, for instance, in the case of natural and of artistic languages). We propose an abstract version of quantum computational semantics, where abstract qumixes, quregisters and registers are identified with some special objects (not necessarily living in a Hilbert space), while gates are reversible functions that transform qumixes into qumixes. In this framework, one can give an abstract definition of the notions of superposition and of entangled pieces of information, quite independently of any numerical values. We investigate three different forms of abstract holistic quantum computational logic
Keywords Quantum computation  Entanglement  Holistic semantics
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s10701-010-9407-5
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,464
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Hector Freytes, Antonio Ledda, Giuseppe Sergioli And.Roberto Giuntini & Probabilistic Logics in Quantum Computation - 2013 - In Hanne Andersen, Dennis Dieks, Wenceslao González, Thomas Uebel & Gregory Wheeler (eds.), New Challenges to Philosophy of Science. Springer Verlag. pp. 49.
Paraconsistent Quantum Logics.Maria Luisa Dalla Chiara & Roberto Giuntini - 1989 - Foundations of Physics 19 (7):891-904.
Partial and Unsharp Quantum Logics.Maria Luisa Dalla Chiara & Roberto Giuntini - 1994 - Foundations of Physics 24 (8):1161-1177.
On the Entanglement Structure in Quantum Cloning.Dagmar Bruß & Chiara Macchiavello - 2003 - Foundations of Physics 33 (11):1617-1628.
Entanglement From the Vacuum.Benni Reznik - 2003 - Foundations of Physics 33 (1):167-176.

Analytics

Added to PP index
2013-11-22

Total views
168 ( #70,952 of 2,520,772 )

Recent downloads (6 months)
1 ( #405,623 of 2,520,772 )

How can I increase my downloads?

Downloads

My notes