Complete Representations in Algebraic Logic.

Robin Hirsch Ian M. Hodkinson

Published in: J. Symb. Log. (1997)

Keyphrases

computer algebra
higher order
logic programming
algebraic structure
information retrieval
decision trees
classical logic
mathematical theory
distributed representations
databases
modal logic
predicate logic