Profinite Completions and Canonical Extensions of Heyting Algebras.

Guram Bezhanishvili Mai Gehrke Ray Mines Patrick J. Morandi

Published in: Order (2006)

Keyphrases

set theory
default logic
database
spatial reasoning
neural network
real world
information retrieval
information systems
feature selection
optimal solution
search algorithm
boolean algebra
distributive lattices