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

Contributor : Claudia Faggian <>
Submitted on : Monday, May 7, 2012 - 8:39:30 PM
Last modification on : Friday, January 4, 2019 - 5:32:59 PM


  • HAL Id : hal-00695352, version 1



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



Record views