Academic Journals Database
Disseminating quality controlled scientific knowledge

On Multiplicative Linear Logic, Modality and Quantum Circuits

ADD TO MY LIST
 
Author(s): Ugo Dal Lago | Claudia Faggian

Journal: Electronic Proceedings in Theoretical Computer Science
ISSN 2075-2180

Volume: 95;
Issue: Proc. QPL 2011;
Start page: 55;
Date: 2012;
Original page

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.
RPA Switzerland

Robotic Process Automation Switzerland

    

Tango Jona
Tangokurs Rapperswil-Jona