The Logic and Topology of Non-locality and Contextuality.

Samson Abramsky

Published in: UC (2011)

Keyphrases

logic programming
modal logic
classical logic
multi valued
databases
genetic algorithm
search engine
deontic logic
formal theory
sound and complete axiomatization
real time
spatial locality
asynchronous circuits
fully connected
automated reasoning
expert systems
search algorithm