Completeness via canonicity for distributive substructural logics: a coalgebraic perspective.

Fredrik Dahlqvist David J. Pym

Published in: CoRR (2015)

Keyphrases

propositional calculus
expressive power
viewpoint
classical logic
information retrieval
genetic algorithm
modal logic
search engine
artificial neural networks
evolutionary algorithm
query language
fuzzy logic
fuzzy sets
inference rules
general theory
conditional logic