Varieties of Monadic Heyting Algebras - Part I.

Guram Bezhanishvili

Published in: Stud Logica (1998)

Keyphrases

deductive databases
set theory
datalog queries
table of contents
datalog programs
distributive lattices
temporal reasoning
databases
spatial reasoning
boolean algebra
topological spaces
neural network
logic programming
computer science
fuzzy set theory
case study
website
image processing
information systems