In logic, a four-valued logic is any logic with four truth values. Several types of four-valued logic have been advanced.