1 paper
Mohammad Abdulla, Johannes Hirth, Gerd Stumme
We introduce the Birkhoff completion as the smallest distributive lattice in which a given finite lattice can be embedded as semi-lattice. We discuss its relationship to implicatio…