Proceedings the twenty-third international symposium on multiple-valued logic, May 24-27, 1993, Sacramento, California (IEEE Computer Society Press, 1993)