logic system in which there are three truth values indicating true, false and some indeterminate third value