 Moreover, the idea of truth values as compound entities nicely conforms with the modeling of truth values considered above in three-valued (Kleene, Priest) and four-valued (Belnap) logics as certain subsets of the set of classical truth values. The latter approach stems essentially from Dunn (1976), where a generalization of the notion of a classical truth-value function has been proposed to obtain so-called “underdetermined” and “overdetermined” valuations. Namely, Dunn considers a valuation to be a function not from sentences to elements of the set \(\{T, F\}\) but from sentences to subsets of this set (see also Dunn 2000: 7). By developing this idea, one arrives at the concept of a generalized truth value function, which is a function from sentences into the subsets of some basic set of truth values (see Shramko and Wansing 2005). The values of generalized truth value functions can be called generalized truth values.