Location of Repository

On Multiplicative Linear Logic, Modality and Quantum Circuits

By Ugo Dal Lago and Claudia Faggian

Abstract

International audienceA 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 modalit

Topics: [ INFO.INFO-LO ] Computer Science [cs]/Logic in Computer Science [cs.LO]
Publisher: HAL CCSD
Year: 2011
OAI identifier: oai:HAL:hal-00695352v1
Provided by: Hal-Diderot
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • https://hal.archives-ouvertes.... (external link)
  • https://hal.archives-ouvertes.... (external link)
  • https://hal.archives-ouvertes.... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.