2009 39th International Symposium on Multiple-Valued Logic