Multiple-Valued Logic