Logical pre- and post-selection paradoxes are proofs of contextuality.

Matthew F. Pusey Matthew S. Leifer

Published in: QPL (2015)

Keyphrases

theorem proving
real time
neural network
data structure
theorem prover
natural deduction
logical reasoning