Interpretations into monadic algebras.

Renato A. Lewin

Published in: Stud Logica (1987)

Keyphrases

deductive databases
valued logic
datalog queries
datalog programs
artificial intelligence
relational databases
distributive lattices
real time
search algorithm
expressive power
temporal reasoning
classical logic
topological spaces