A generalization of the principle of excluded middle according to which there is no truth value beyond a formula’s being either true, false, or neither. The term was coined by mathematician Stephen Cole Kleene (1909–1994), who intended the principle to indicate that a truth function could not be overdetermined, that is, although a value may be true, false, or undefined, there exist no truth value gluts.