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 |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
The Algebraic Structure of an Approximately Universal System of Quantum Computational Gates.Maria Luisa Dalla Chiara, Roberto Giuntini, Hector Freytes, Antonio Ledda & Giuseppe Sergioli - 2009 - Foundations of Physics 39 (6):559-572.
Citations of this work BETA
Quantum Information, Cognition, and Music.Maria L. Dalla Chiara, Roberto Giuntini, Roberto Leporini, Eleonora Negri & Giuseppe Sergioli - 2015 - Frontiers in Psychology 6.
Similar books and articles
The Algebraic Structure of an Approximately Universal System of Quantum Computational Gates.Maria Luisa Dalla Chiara, Roberto Giuntini, Hector Freytes, Antonio Ledda & Giuseppe Sergioli - 2009 - Foundations of Physics 39 (6):559-572.
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 Ideas in Quantum Logic.Maria Luisa Dalla Chiara & Roberto Giuntini - 2000 - Synthese 125 (1/2):55-68.
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.
Fuzzy-Intuitionistic Quantum Logic.Maria Luisa Dalla Chiara, Gianpiero Cattaneo & Roberto Giuntini - 1993 - Studia Logica 52 (1):24.
The Unsharp Approaches to Quantum Mechanics.Gianpiero Cattaneo, Maria Luisa Dalla Chiara & Roberto Giuntini - 1995 - In HerfelWilliam (ed.), Theories and Models in Scientific Processes. Rodopi. pp. 345.
On the Entanglement Structure in Quantum Cloning.Dagmar Bruß & Chiara Macchiavello - 2003 - Foundations of Physics 33 (11):1617-1628.
The Toffoli-Hadamard Gate System: An Algebraic Approach.Maria Luisa Dalla Chiara, Antonio Ledda, Giuseppe Sergioli & Roberto Giuntini - 2013 - Journal of Philosophical Logic 42 (3):467-481.
The Logics of Orthoalgebras.Maria Luisa Dalla Chiara & Roberto Giuntini - 1995 - Studia Logica 55 (1):3-22.
Analytics
Added to PP index
2013-11-22
Total views
168 ( #70,876 of 2,519,686 )
Recent downloads (6 months)
1 ( #406,314 of 2,519,686 )
2013-11-22
Total views
168 ( #70,876 of 2,519,686 )
Recent downloads (6 months)
1 ( #406,314 of 2,519,686 )
How can I increase my downloads?
Downloads