Proceedings of the Twentieth International Symposium on Multiple-Valued Logic