On Multiplicative Linear Logic, Modality and Quantum Circuits

Ugo Dal Lago Claudia Faggian

Published in: QPL (2011)

Keyphrases

linear logic
quantum computing
logic circuits
logic synthesis
multi modal
fixed point
low power
sequent calculus
proof theoretic
logic programming
logical framework
medical images
cut elimination
desirable properties
high speed
intuitionistic logic
inference rules
natural deduction
proof search
power dissipation