A Distributive Lattice Cover for Semilattices
Colin Bailey, Joseph Oliveira · arXiv (Cornell University) · 2009
We consider two constructions of an envelope for a finite locally distributive strong upper semilattice. The first is based on Birkhoff's representation of finite distributive lattices and the second on valuations on lattices. We show that these produce isomorphic envelopes.