Zipper logic.

Published in: CoRR (2014)

Keyphrases

modal logic
predicate logic
logic programming
real time
classical logic
automated reasoning
delay insensitive
proof theory
formal theory
set theory
defeasible logic
multi valued
data structure
computer vision
real world
databases
data sets