Coalgebraic completeness-via-canonicity for distributive substructural logics.

Fredrik Dahlqvist David J. Pym

Published in: J. Log. Algebraic Methods Program. (2017)

Keyphrases

propositional calculus
expressive power
modal logic
general theory
machine learning
data quality
nonmonotonic logics
order sorted
computer vision
image processing
inference rules
conditional logic
predicate logic