  A third type of application to logic is the modeling of partial predicates and truth value gaps. However, this is possible only in so far as these truth value gaps behave “truth functionally”, i.e. in so far as the behavior of the truth value gaps in compound sentences can be described by suitable truth functions. (This is not always the case, e.g. it is not the case in formulations which use supervaluations.)