A logical system derived from linear logic and called QMLL is introduced and shown able to capture all unitary quantum circuits. Conversely, any proof is shown to compute, through a concrete GoI interpretation, some quantum circuits. The system QMLL, which enjoys cut-elimination, is obtained by endowing multiplicative linear logic with a quantum modality
The theory of logical gates in quantum computation has suggested new forms of quantum logic, called ...
International audienceWe introduce the LO_v-calculus, a graphical language for reasoning about linea...
In the first chapter we introduce new forms of quantum logic suggested by quantum computation, calle...
A logical system derived from linear logic and called QMLL is introduced and shown able to capture a...
A logical system derived from linear logic and called QMLL is introduced and shown able to capture a...
We propose a semantic representation of the standard quantum logic QL within a classical, normal mod...
International audienceWe introduce the first complete equational theory for quantum circuits. More p...
According to quantum mechanics, the pure states of a microsystem are represented by vectors in a Hi...
We develop a type theory and provide a denotational semantics for a simple fragment of the quantum l...
To use quantum mechanical behavior for computing has been proposed by Feynman. Shor gave an algorith...
The current models of computation share varying levels of correspondence with actual implementation ...
Quantum logic generally refers to the logical structure characterized by the class of orthomodular l...
We overview the main concepts of quantum logic ranging from the orthodox formulation to the quantum ...
Abstract: We continue in this article the abstract algebraic treatment of quantum sentential logics ...
Abstract: We continue in this article the abstract algebraic treatment of quan-tum sentential logics...
The theory of logical gates in quantum computation has suggested new forms of quantum logic, called ...
International audienceWe introduce the LO_v-calculus, a graphical language for reasoning about linea...
In the first chapter we introduce new forms of quantum logic suggested by quantum computation, calle...
A logical system derived from linear logic and called QMLL is introduced and shown able to capture a...
A logical system derived from linear logic and called QMLL is introduced and shown able to capture a...
We propose a semantic representation of the standard quantum logic QL within a classical, normal mod...
International audienceWe introduce the first complete equational theory for quantum circuits. More p...
According to quantum mechanics, the pure states of a microsystem are represented by vectors in a Hi...
We develop a type theory and provide a denotational semantics for a simple fragment of the quantum l...
To use quantum mechanical behavior for computing has been proposed by Feynman. Shor gave an algorith...
The current models of computation share varying levels of correspondence with actual implementation ...
Quantum logic generally refers to the logical structure characterized by the class of orthomodular l...
We overview the main concepts of quantum logic ranging from the orthodox formulation to the quantum ...
Abstract: We continue in this article the abstract algebraic treatment of quantum sentential logics ...
Abstract: We continue in this article the abstract algebraic treatment of quan-tum sentential logics...
The theory of logical gates in quantum computation has suggested new forms of quantum logic, called ...
International audienceWe introduce the LO_v-calculus, a graphical language for reasoning about linea...
In the first chapter we introduce new forms of quantum logic suggested by quantum computation, calle...
DOI
Add to ORKG
