Proceedings 25th International Symposium on Multiple-Valued Logic