International Symposium on Multiple-Valued Logic (23rd 1993 Sacramento, Calif.)