Title: Many-valued Logic