Title: Multiple-Valued Logic