Title: Multiple-Valued Logic (Ismvl 2000): 30th IEEE International Symposium (International Symposium on Multiple-Valued Logic//Proceedings)