On Multiplicative Linear Logic, Modality and Quantum Circuits
Logic in Computer Science
2012-10-03 v1 Quantum Physics
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.
Keywords
Cite
@article{arxiv.1210.0613,
title = {On Multiplicative Linear Logic, Modality and Quantum Circuits},
author = {Ugo Dal Lago and Claudia Faggian},
journal= {arXiv preprint arXiv:1210.0613},
year = {2012}
}
Comments
In Proceedings QPL 2011, arXiv:1210.0298