Title: Modern Uses of Multiple-Valued Logic