Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1602.07516 · Mathematica Slovaca

Holistic logical arguments in quantum computation

María Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini, Giuseppe Sergioli

Published Apr 1, 2016• 4 citations
arXivHTMLPDF

Abstract

Abstract Quantum computational logics represent a logical abstraction from the circuit-theory in quantum computation. In these logics formulas are supposed to denote pieces of quantum information (qubits, quregisters or mixtures of quregisters), while logical connectives correspond to (quantum logical) gates that transform quantum information in a reversible way. The characteristic holistic features of the quantum theoretic formalism (which play an essential role in entanglement-phenomena) can be used in order to develop a holistic version of the quantum computational semantics. In contrast with the compositional character of most standard semantic approaches, meanings of formulas are here dealt with as global abstract objects that determine the contextual meanings of the formulas’ components (from the whole to the parts). We present a survey of the most significant logical arguments that are valid or that are possibly violated in the framework of this semantics. Some logical features that may appear prima facie strange seem to reflect pretty well informal arguments that are currently used in our rational activity.

DOI
10.1515/ms-2015-0138

Related papers

Holistic logical arguments in quantum computation

Leporini, Roberto

Quantum computational logics represent a logical abstraction from the circuit-theory in quantum computation. In these logics formulas are supposed to denote pieces of quantum information (qubits, quregisters or mixtures of quregisters), while logical connectives correspond to (quantum logical) gates that transform quantum information in a reversible way. The characteristic holistic features of the quantum theoretic formalism (which play an essential role in entanglement-phenomena) can be used in order to develop a holistic version of the quantum computational semantics. In contrast with the compositional character of most standard semantic approaches, meanings of formulas are here dealt with as global abstract objects that determine the contextual meanings of the formulas' components (from the whole to the parts). We present a survey of the most significant logical arguments that are valid or that are possibly violated in the framework of this semantics. Some logical features that may appear prima facie strange seem to reflect pretty well informal arguments that are currently used in our rational activity.

•Jan 1, 2016•18 citations

A holistic quantum computational semantics

María Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini

Does quantum holism give rise to new forms of abstract holistic semantics? This question can be discussed in the framework of quantum computational logics, non-standard versions of quantum logic that have been suggested by the theory of logical gates in quantum computation. The basic idea of the quantum computational semantics is the following: meanings of sentences are identified with quantum information quantities, represented by pure or mixed states of special quantum systems. In particular cases, the meaning of a sentence may correspond to an entangled state. On this basis, one can formally describe some typical holistic semantic situations, where the meaning of the whole determines the meanings of its parts, but generally not vice versa.

•Jan 1, 2006•2 citations

LOGICS FROM QUANTUM COMPUTATION

María Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini

The theory of logical gates in quantum computation has suggested new forms of quantum logic, called quantum computational logics. The basic semantic idea is the following: the meaning of a sentence is identified with a quregister (a system of qubits) or, more generally, with a mixture of quregisters (called qumix). In this framework, any sentence α of the language gives rise to a quantum tree: a kind of quantum circuit that transforms the quregister (qumix) associated to the atomic subformulas of α into the quregister (qumix) associated to α. A variant of the quantum computational semantics is represented by the quantum holistic semantics, which permits us to represent entangled meanings. Physical models of quantum computational logics can be built by means of Mach–Zehnder interferometers.

International Journal of Quantum Information•May 31, 2005•55 citations

Probability in quantum computation and quantum computational logics: a survey

María Luisa Dalla Chiara, Roberto Giuntini, Giuseppe Sergioli

Quantum computation and quantum computational logics give rise to some non-standard probability spaces that are interesting from a formal point of view. In this framework, events represent quantum pieces of information (qubits, quregisters, mixtures of quregisters), while operations on events are identified with quantum logic gates (which correspond to dynamic reversible quantum processes). We investigate the notion of Shi–Aharonov quantum computational algebra. This structure plays the role for quantum computation that is played by σ-complete Boolean algebras in classical probability theory.

Mathematical Structures in Computer Science•Mar 28, 2014•6 citations

QUANTUM COMPUTATIONAL FINITE-VALUED LOGICS

Cesarino Bertini, Roberto Leporini

The theory of logical gates in quantum computation has suggested new forms of quantum logic, called quantum computational logics. The basic semantic idea is the following: the meaning of a sentence is identified with a quantum information quantity, represented by a quregister (a system of qudits) or, more generally, by a mixture of quregisters (called qumix), whose dimension depends on the logical complexity of the sentence. At the same time, the logical connectives are interpreted as logical operations defined in terms of quantum logical gates. Physical models of quantum computational logics can be built by means of Mach-Zehnder interferometers.

International Journal of Quantum Information•Oct 1, 2007•6 citations

Holistic Quantum Computational Semantics and Gestalt-Thinking

María Luisa Dalla Chiara

Human perception like thinking seems to be essentially synthetic. We never perceive an object by scanning it point by point. We instead form right away a Gestalt, i.e. a global idea of it. Rational activity, as well, seems to be essentially based on gestaltic patterns. Quantum computation has suggested a new holistic semantics, which makes essential use of the characteristic “holistic” features of the quantum‐theoretic formalism. In this framework, meanings are represented by quantum information quantities: systems of qubits or, more generally, mixtures of systems of qubits. The global meaning of a compound expression (which may correspond to an entangled state) determines the meanings of its parts, but generally not the other way around.

AIP conference proceedings•Jan 1, 2006•8 citations
Abstract Quantum computational logics represent a logical abstraction from the circuit-theory in quantum computation. In these logics formulas are supposed to denote pieces of quantum information (qubits, quregisters or mixtures of quregisters), while logical connectives correspond to (quantum logical) gates that transform quantum information in a reversible way. The characteristic holistic features of the quantum theoretic formalism (which play an essential role in entanglement-phenomena) can be used in order to develop a holistic version of the quantum computational semantics. In contrast with the compositional character of most standard semantic approaches, meanings of formulas are here dealt with as global abstract objects that determine the contextual meanings of the formulas’ components (from the whole to the parts). We present a survey of the most significant logical arguments that are valid or that are possibly violated in the framework of this semantics. Some logical features that may appear prima facie strange seem to reflect pretty well informal arguments that are currently used in our rational activity.
Quantum computational logics represent a logical abstraction from the circuit-theory in quantum computation. In these logics formulas are supposed to denote pieces of quantum information (qubits, quregisters or mixtures of quregisters), while logical connectives correspond to (quantum logical) gates that transform quantum information in a reversible way. The characteristic holistic features of the quantum theoretic formalism (which play an essential role in entanglement-phenomena) can be used in order to develop a holistic version of the quantum computational semantics. In contrast with the compositional character of most standard semantic approaches, meanings of formulas are here dealt with as global abstract objects that determine the contextual meanings of the formulas' components (from the whole to the parts). We present a survey of the most significant logical arguments that are valid or that are possibly violated in the framework of this semantics. Some logical features that may appear prima facie strange seem to reflect pretty well informal arguments that are currently used in our rational activity.
Does quantum holism give rise to new forms of abstract holistic semantics? This question can be discussed in the framework of quantum computational logics, non-standard versions of quantum logic that have been suggested by the theory of logical gates in quantum computation. The basic idea of the quantum computational semantics is the following: meanings of sentences are identified with quantum information quantities, represented by pure or mixed states of special quantum systems. In particular cases, the meaning of a sentence may correspond to an entangled state. On this basis, one can formally describe some typical holistic semantic situations, where the meaning of the whole determines the meanings of its parts, but generally not vice versa.
The theory of logical gates in quantum computation has suggested new forms of quantum logic, called quantum computational logics. The basic semantic idea is the following: the meaning of a sentence is identified with a quregister (a system of qubits) or, more generally, with a mixture of quregisters (called qumix). In this framework, any sentence α of the language gives rise to a quantum tree: a kind of quantum circuit that transforms the quregister (qumix) associated to the atomic subformulas of α into the quregister (qumix) associated to α. A variant of the quantum computational semantics is represented by the quantum holistic semantics, which permits us to represent entangled meanings. Physical models of quantum computational logics can be built by means of Mach–Zehnder interferometers.
Quantum computation and quantum computational logics give rise to some non-standard probability spaces that are interesting from a formal point of view. In this framework, events represent quantum pieces of information (qubits, quregisters, mixtures of quregisters), while operations on events are identified with quantum logic gates (which correspond to dynamic reversible quantum processes). We investigate the notion of Shi–Aharonov quantum computational algebra. This structure plays the role for quantum computation that is played by σ-complete Boolean algebras in classical probability theory.
The theory of logical gates in quantum computation has suggested new forms of quantum logic, called quantum computational logics. The basic semantic idea is the following: the meaning of a sentence is identified with a quantum information quantity, represented by a quregister (a system of qudits) or, more generally, by a mixture of quregisters (called qumix), whose dimension depends on the logical complexity of the sentence. At the same time, the logical connectives are interpreted as logical operations defined in terms of quantum logical gates. Physical models of quantum computational logics can be built by means of Mach-Zehnder interferometers.
Human perception like thinking seems to be essentially synthetic. We never perceive an object by scanning it point by point. We instead form right away a Gestalt, i.e. a global idea of it. Rational activity, as well, seems to be essentially based on gestaltic patterns. Quantum computation has suggested a new holistic semantics, which makes essential use of the characteristic “holistic” features of the quantum‐theoretic formalism. In this framework, meanings are represented by quantum information quantities: systems of qubits or, more generally, mixtures of systems of qubits. The global meaning of a compound expression (which may correspond to an entangled state) determines the meanings of its parts, but generally not the other way around.