About Lemma 1: There is a problem with the proof and statement of (b). It does not go through, because truth is closed downwards across the lattice. This problem (and others) is solved by concentrating on models all of whose atoms are annotated with t, f, ta, fa (and downwards).