Books on Amazon
Supervaluation / Field: can be used as a kind of semantics with Boolean values: - the boolean value of a formula is the set of all those (combinations of) candidates of extensions in which the sentence is true - which in turn is a special case of a lattice-value semantics (lattive-valued semantics)
Supervaluation / Field: E.g. "determined p" is true iff p is true in all permissible interpretations of the language.
Realism, Mathematics and Modality Oxford New York 1989
Truth and the Absence of Fact Oxford New York 2001
Science without numbers Princeton New Jersey 1980