9th International Symposium on Multiple-Valued Logic