On Multiplicative Linear Logic, Modality and Quantum Circuits - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

On Multiplicative Linear Logic, Modality and Quantum Circuits

Résumé

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
Fichier non déposé

Dates et versions

hal-00695352 , version 1 (07-05-2012)

Identifiants

  • HAL Id : hal-00695352 , version 1

Citer

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

Partager

Gmail Facebook X LinkedIn More