An Algebraic Glimpse at Bunched Implications and Separation Logic.

Peter Jipsen Tadeusz Litak

Published in: CoRR (2017)

Keyphrases

predicate logic
logic programming
classical logic
multiscale
databases
multi valued
defeasible logic
intuitionistic logic
real time
asynchronous circuits
deontic logic
abductive reasoning
formal language
logical framework
logic programs
case study
computer vision
machine learning