Multiple-Valued Logic by