In Section 4-2.2 we discussed the fundamental connection between closure systems and sets of implications. In this chapter, we will look into the canonical forms of representations of a closure system by implications. Most of the results are inspired by the structure of the closure lattice and its properties. In particular, we will be concerned with effective representations of closure systems whose closure lattices are join-semidistributive, lower bounded or locally distributive.
|Title of host publication||Lattice Theory|
|Subtitle of host publication||Special Topics and Applications|
|Publisher||Springer International Publishing|
|Number of pages||33|
|Publication status||Published - Jan 1 2016|
ASJC Scopus subject areas