Seol mar théacs é seo: Lattices to logic