CONSEQUENCE AND COMPLEXITY IN INFINITE-VALUED LOGIC: A SURVEY,