Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic Perspective.

Fredrik Dahlqvist David J. Pym

Published in: RAMiCS (2015)

Keyphrases

propositional calculus
viewpoint
expressive power
real time
modal logic
database
machine learning
genetic algorithm
image processing
database systems
multiscale
video sequences
fuzzy logic