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

Journal of Logic and Computation

An Axiomatic System Suggested by Quantum Computation

Cesarino Bertini, Roberto Leporini

Published Feb 27, 2009• 0 citations
Publisher

Abstract

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 in a pure state) or, more generally, with a mixture of quregisters (called qumix). Following an approach proposed by Domenech and Freytes, we apply residuated structures associated with fuzzy logic to develop certain aspects of information processing in quantum computing from a logical perspective. For this purpose, we introduce an axiomatic system whose natural interpretation is the irreversible quantum Poincaré algebra. Such a system allows to establish a completeness theorem.

DOI
10.1093/logcom/exp008

Related papers

Quantum Computational Fuzzy 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 quregister (a system of qubits in a pure state) or, more generally, with a mixture of quregisters (called qumix). Following an approach proposed by Domenech and Freytes, we apply residuated structures associated with fuzzy logic to develop certain aspects of information processing in quantum computing from a logical perspective. For this purpose, we introduce an axiomatic system whose natural interpretation is the irreversible quantum Poincaré algebra. Such a system allows to establish a completeness theorem for the treatment of quantum information.

•Jan 1, 2007•0 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

Fuzzy Propositional Logic Associated with Quantum Computational Gates

Domenech, G, Freytes, H

We apply residuated structures associated with fuzzy logic to develop certain aspects of information processing in quantum computing from a logical perspective. For this purpose, we introduce an axiomatic system whose natural interpretation is the irreversible quantum Poincare structure.

•Dec 26, 2006•16 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

An axiomatization of quantum computational Logic

Vladimir L. Vasyukov

One of the logical proposals that arise from quantum computation is the idea to use the quantum theoretical formalism to represent parallel reasoning. To this aim a quantum computation is considered by means of convenient unitary operators assuming arguments and values in particular sets of qubit systems. Isolating some important unitary operators that have a special role in quantum computation (logical gates or quregisters) we obtain an opportunity to yield the language of Quantum Computational Logic (QCL) (cf. [Cattaneo et al., 2003; Cattaneo et al., 2004; Dalla Chiara et al., 2004]). The basic concept of the semantics of this language is the notion of quantum computational realization such that the meaning associated to any sentence is a quregister. Unlike the semantic of a standard quantum logic QCL-conjunction and QCL-disjunction do not correspond to lattice operations since they are not generally idempotent. Moreover, in QCL the weak distributivity principle breaks down and both the excluded middle and the non contradiction principles are violated. Finally, the axiomatizability of QCL is still an open problem. In the paper an axiomatization of QCL is proposed construing it as a kind of so-called Goldblatt’s binary logic. Some metalogical theorems (paraconsistency and completeness) are proved.

Logical Investigations•Jan 1, 2023•0 citations

LOGICS FROM QUANTUM COMPUTATION WITH BOUNDED ADDITIVE OPERATORS

Cesarino Bertini, Roberto Leporini

The theory of gates in quantum computation has suggested new forms of quantum logic, called quantum computational logics, where the meaning of a sentence is identified with a system of qubits in a pure or, more generally, mixed state. In this framework, any formula of the language gives rise to a quantum circuit that transforms the state associated to the atomic subformulas into the state associated to the formula and vice versa. On this basis, some holistic semantic situations can be described, where the meaning of whole determines the meaning of the parts, by non-linear and anti-unitary operators. We prove that the semantics with such operators and the semantics with unitary operators turn out to characterize the same logic.

International Journal of Quantum Information•Apr 1, 2012•3 citations
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 in a pure state) or, more generally, with a mixture of quregisters (called qumix). Following an approach proposed by Domenech and Freytes, we apply residuated structures associated with fuzzy logic to develop certain aspects of information processing in quantum computing from a logical perspective. For this purpose, we introduce an axiomatic system whose natural interpretation is the irreversible quantum Poincaré algebra. Such a system allows to establish a completeness theorem.
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 in a pure state) or, more generally, with a mixture of quregisters (called qumix). Following an approach proposed by Domenech and Freytes, we apply residuated structures associated with fuzzy logic to develop certain aspects of information processing in quantum computing from a logical perspective. For this purpose, we introduce an axiomatic system whose natural interpretation is the irreversible quantum Poincaré algebra. Such a system allows to establish a completeness theorem for the treatment of quantum information.
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.
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.
One of the logical proposals that arise from quantum computation is the idea to use the quantum theoretical formalism to represent parallel reasoning. To this aim a quantum computation is considered by means of convenient unitary operators assuming arguments and values in particular sets of qubit systems. Isolating some important unitary operators that have a special role in quantum computation (logical gates or quregisters) we obtain an opportunity to yield the language of Quantum Computational Logic (QCL) (cf. [Cattaneo et al., 2003; Cattaneo et al., 2004; Dalla Chiara et al., 2004]). The basic concept of the semantics of this language is the notion of quantum computational realization such that the meaning associated to any sentence is a quregister. Unlike the semantic of a standard quantum logic QCL-conjunction and QCL-disjunction do not correspond to lattice operations since they are not generally idempotent. Moreover, in QCL the weak distributivity principle breaks down and both the excluded middle and the non contradiction principles are violated. Finally, the axiomatizability of QCL is still an open problem. In the paper an axiomatization of QCL is proposed construing it as a kind of so-called Goldblatt’s binary logic. Some metalogical theorems (paraconsistency and completeness) are proved.
The theory of gates in quantum computation has suggested new forms of quantum logic, called quantum computational logics, where the meaning of a sentence is identified with a system of qubits in a pure or, more generally, mixed state. In this framework, any formula of the language gives rise to a quantum circuit that transforms the state associated to the atomic subformulas into the state associated to the formula and vice versa. On this basis, some holistic semantic situations can be described, where the meaning of whole determines the meaning of the parts, by non-linear and anti-unitary operators. We prove that the semantics with such operators and the semantics with unitary operators turn out to characterize the same logic.