On multiplicative linear logic, modality and quantum circuits

MaRDI QIDQ4986180zbMATH OpenFDO

Authors Ugo Dal Lago, Claudia Faggian

Publication date 27 April 2021

Full work available at URL https://arxiv.org/abs/1210.0613, http://eptcs.web.cse.unsw.edu.au/paper.cgi?QPL2011.6

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Quantum logic (03G12) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum gates (81P65)

Recommendations

• Measurements in proof nets as higher-order quantum circuits
• Quantum Logic in the Framework of Linear Logic
• Natural deduction for quantum logic
• Quantum coherent spaces and linear logic
• Generalised Proof-Nets for Compact Categories with Biproducts

Cited in

(9)

• Geometrical semantics for linear logic (multiplicative fragment)
• Quantum coherent spaces and linear logic
• QUANTUM LOGIC ASSOCIATED TO FINITE DIMENSIONAL INTERVALS OF MODULAR ORTHOLATTICES
• Semantics of higher-order quantum computation via geometry of interaction
• Wave-style token machines and quantum lambda calculi
• Probabilistic rewriting and asymptotic behaviour: on termination and unique normal forms
• Measurements in proof nets as higher-order quantum circuits
• Many-valued Logics in Classical and Quantum Gates
• The quantum monadology

This page was built for publication: On multiplicative linear logic, modality and quantum circuits

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4986180)