Translating between the representations of a ranked convex geometry

Oscar Defrain, Lhouari Nourine, Simon Vilmin

It is well known that every closure system can be represented by an implicational base, or by the set of its meet-irreducible elements. In Horn logic, these are respectively known…