many-valued logic
propositional calculus in which there are more than two truth values
fuzzy logic
system for reasoning about vagueness
four-valued logic
any logic with four truth values
three-valued logic
logic system in which there are three truth values indicating true, false and some indeterminate third value