[1993] Proceedings of the Twenty-Third International Symposium on Multiple-Valued Logic