A First Step to the Categorical Logic of Quantum Programs.

Xin Sun Feifei He

Published in: Entropy (2020)

Keyphrases

quantum computation
logic circuits
logic programming
multi valued
dynamic logic
agent programming
knowledge base
modal logic
automated reasoning
classical logic
logic synthesis
data sets
neural network
post processing
set theory
predicate logic