Turing machines based on unsharp quantum logic

Yun Shang Xian Lu Ruqian Lu

Published in: QPL (2011)

Keyphrases

turing machine
quantum computation
logic circuits
modal logic
classical logic
logic synthesis
automated reasoning
logical framework
quantum computing
defeasible logic
quantum evolutionary algorithm
data sets
proof theory
digital circuits
probabilistic logic
image quality
bayesian networks
website
search engine