Deakstadieđáhus: Lattices to logic