Title: 31st IEEE International Symposium on Multiple-Valued Logic: Proceedings