Zariski-type topology for implication algebras.

Manuel Abad Diego N. Castaño J. Patricio Díaz Varela

Published in: Math. Log. Q. (2010)

Keyphrases

real time
information systems
database systems
topology preservation
database
artificial intelligence
knowledge base
image processing
case study
small world
topology preserving
distributive lattices