Scientific Annals of Computer Science (Jun 2015)
Boolean Lifting Properties for Bounded Distributive Lattices
Abstract
In this paper, we introduce the lifting properties for the Boolean elements of bounded distributive lattices with respect to the congruences, filters and ideals, we establish how they relate to each other and to significant algebraic properties, and we determine important classes of bounded distributive lattices which satisfy these lifting properties.