Stav dette: Lattices to logic