The Logic of Contextuality.

Samson Abramsky Rui Soares Barbosa

Published in: CSL (2021)

Keyphrases

logic programming
modal logic
multi valued
classical logic
set theory
predicate logic
delay insensitive
image processing
clustering algorithm
probabilistic logic
logical framework
abductive reasoning
proof theory