Many-Valued Logic.