Duality for the Logic of Quantum Actions.

Jort M. Bergfeld Kohei Kishida Joshua Sack Shengyang Zhong

Published in: Stud Logica (2015)

Keyphrases

quantum computation
logic circuits
reasoning about actions
logic synthesis
logic programming
decision theoretic
linear programming
predicate logic
action theories
goal directed
multi valued
classical logic
objective function
truth values
quantum mechanics
dynamic programming
quantum inspired
evolutionary algorithm