This is a form of Boolean Algebra that deals with the handling of truth values that are not binary (either true or false), but instead can take on a range of different values. It is used in situations where there is uncertainty or ambiguity in the truth-value of a proposition.