A Generalized Next-Closure Algorithm -- Enumerating Semilattice Elements from a Generating Set

Abstract

We present a generalization of the well known Next-Closure algorithm working on semilattices. We prove the correctness of the algorithm and apply it on the computation of the intents of a formal context.