Chris Fermüller Associate Professor at the Institute of Computer Languages Homepage Publications Research Interestsnonclassical logics, proof theory, game semantics, mathematical fuzzy logic, models of vagueness