A Sound and Complete Logic for Algebraic Effects.

Cristina Matache Sam Staton

Published in: FoSSaCS (2019)

Keyphrases

algebraic structure
computer algebra
modal logic
multi valued
sound and complete axiomatization
predicate logic
computational properties
classical logic
higher order
knowledge representation
computer vision
machine learning
real world
natural deduction
databases
data sets
propositional variables
real time