Varieties of Monadic Heyting Algebras. Part III.

Guram Bezhanishvili

Published in: Stud Logica (2000)

Keyphrases

table of contents
datalog queries
deductive databases
set theory
spatial reasoning
datalog programs
clifford algebra
database management
distributive lattices
topological spaces
temporal reasoning
data sets
data model
fuzzy logic