Precovers, Modalities and Universal Closure Operators in a Topos.

John L. Bell Silvia Gebellato

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

Keyphrases

closure operator
closed sets
fixed point
formal concept analysis
first order logic
mining algorithm
databases
artificial intelligence
relational databases
multi dimensional
boolean expressions