A Predicative Characterization of Quantum States and Matte Blanco's Bi-logic.

Giulia Battilotti

Published in: QI (2013)

Keyphrases

quantum computation
logic circuits
logic synthesis
business intelligence
modal logic
classical logic
energy minimization
quantum computing
image matting
proof theory
predicate logic
video matting
dynamic scenes
object surface
multi valued
quantum inspired