Computing the $D$-base and $D$-relation in finite closure systems

Kira Adaricheva, Lhouari Nourine, Simon Vilmin

Implicational bases (IBs) are a common representation of finite closure systems and lattices, along with meet-irreducible elements. They appear in a wide variety of fields ranging…