Proceedings 31st IEEE International Symposium on Multiple-Valued Logic