Does Science Influence the Logic we Ought to Use: A Reflection on the Quantum Logic Controversy.

Michael Ashcroft

Published in: Stud Logica (2010)

Keyphrases

modal logic
logic circuits
quantum computation
logic programming
logical framework
automated reasoning
computational properties
nonmonotonic logics
neural network
computer science
real time
set theory
truth values
logic synthesis