 There exist several approaches to semantic constructions where truth values are represented as being made up from some primitive components. For example, in some explications of Kripke models for intuitionistic logic propositions (identified with sets of “worlds” in a model structure) can be understood as truth values of a certain kind. Then the empty proposition is interpreted as the value false, and the maximal proposition (the set of all worlds in a structure) as the value true. Moreover, one can consider non-empty subsets of the maximal proposition as intermediate truth values. Clearly, the intuitionistic truth values so conceived are composed from some simpler elements and as such they turn out to be complex entities.