On Multiplicative Linear Logic, Modality and Quantum Circuits

Ugo Dal Lago 1, 2 Claudia Faggian 3
2 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : 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
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00695352
Contributor : Claudia Faggian <>
Submitted on : Monday, May 7, 2012 - 8:39:30 PM
Last modification on : Friday, January 4, 2019 - 5:32:59 PM

Identifiers

  • HAL Id : hal-00695352, version 1

Collections

Citation

Ugo Dal Lago, Claudia Faggian. On Multiplicative Linear Logic, Modality and Quantum Circuits. Quantum Physics and Logic, 2011, Netherlands. pp.81-96. ⟨hal-00695352⟩

Share

Metrics

Record views

164