Algorithmic correspondence and canonicity for non-distributive logics.

Willem Conradie Alessandra Palmigiano

Published in: Ann. Pure Appl. Log. (2019)

Keyphrases

expressive power
image matching
modal logic
inference rules
general theory
point correspondences
feature matching
classical logic
computational properties
real time
data mining
conditional logic
epistemic logic
correspondence matching