On the Algebraization of Many-Sorted Logics.

Carlos Caleiro Ricardo Gonçalves

Published in: WADT (2006)

Keyphrases

expressive power
modal logic
inference rules
classical logic
higher order
propositional dynamic logic
data sets
artificial intelligence
machine learning
fuzzy logic
knowledge representation
programming language
bayesian networks
case study
computer vision
proof theory
linearly ordered