On implicational bases of closure systems with unique critical sets

Kira Adaricheva, J. B. Nation

We show that every optimum basis of a finite closure system, in D.Maier's sense, is also right-side optimum, which is a parameter of a minimum CNF representation of a Horn Boolean…