Effect Algebras, Girard Quantales and Complementation in Separation Logic.

Callum Bannister Peter Höfner Georg Struth

Published in: RAMiCS (2021)

Keyphrases

modal logic
computational properties
artificial intelligence
logic programming
classical logic
relation algebra
data sets
machine learning
information retrieval
multi agent
automated reasoning
multi valued
set theory
deontic logic
asynchronous circuits