Sign in

The Logic of Entanglement.

Bob Coecke
Published in: Horizons of the Mind (2014)
Keyphrases
  • real world
  • modal logic
  • classical logic
  • logic programming
  • automated reasoning
  • predicate logic
  • database
  • knowledge base
  • website
  • bayesian networks
  • digital circuits
  • formal theory
  • abductive reasoning
  • epistemic logic