Profinite Heyting Algebras.

Guram Bezhanishvili Nick Bezhanishvili

Published in: Order (2008)

Keyphrases

set theory
boolean algebra
distributive lattices
spatial reasoning
temporal reasoning
clifford algebra
topological spaces
machine learning
fuzzy sets
decision trees
computer vision
information retrieval
temporal information
image sequences
temporal constraints
artificial intelligence
genetic algorithm
databases