α-Sober spaces via the orthogonal closure operator.

Published in: Appl. Categorical Struct. (1996)

Keyphrases

closure operator
fixed point
mining algorithm
closed sets
first order logic
formal concept analysis
machine learning
data analysis
artificial intelligence