SMS: Lattices to logic