The E-Base of Finite Semidistributive Lattices
摘要
Implicational bases (IBs) are a well-known representation of closure spaces and their closure lattices. This representation is not unique, though, and a closure space usually admits multiple IBs. Among these, the canonical base, the canonical direct base as well as the D-base aroused significant attention due to their structural and algorithmic properties. Recently, a new base has emerged from the study of free lattices: the E-base. It is a refinement of the D-base that, unlike the aforementioned IBs, does not always accurately represent its associated closure space. This leads to an intriguing question: for which classes of (closure) lattices do closure spaces have a valid E-base? Lower bounded lattices are known to form such a class. In this paper, we prove that for semidistributive lattices, the E-base is both valid and minimum.