Semi-Heyting Algebras Term-equivalent to Gödel Algebras.

Manuel Abad Juan Manuel Cornejo José Patricio Díaz Varela

Published in: Order (2013)

Keyphrases

topological spaces
spatial reasoning
temporal reasoning
distributive lattices
database
real time
information retrieval
learning algorithm
website
case study
test collection
query terms
set theory