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.
Ugo Dal Lago, Claudia Faggian (2012). On Multiplicative Linear Logic, Modality and Quantum Circuits. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 95, 55-66 [10.4204/EPTCS.95.6].
On Multiplicative Linear Logic, Modality and Quantum Circuits
DAL LAGO, UGO;
2012
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.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
