Skip to Content

Thomas Vetterlein

Thomas Vetterlein's picture JKU (S2 0603) 0043 732 2468 4148

Studentische Sprechstunde: donnerstags 15:30 im Science-Park 2, Raum 0603; ohne Voranmeldung



Research interests:

  • Logics for reasoning under uncertainty and vagueness
    • similarity-based reasoning
    • logics handling uncertainty
  • Many-valued logics and related algebras
    • fuzzy logics, residuated lattices
    • proof theory of fuzzy logics
  • Expert systems, in particular in medicine
    • formal frameworks for representing and infering medical knowledge
    • biomedical ontologies, "realism-based" ontology
  • Foundational issues
    • foundations of logic and mathematics
    • classification and representation of natural-language statements

List of publications >>

List of given lectures and courses >>


  • Participance in the project Mathematical Foundations of Fuzzy If-Then Rule Bases, part of the Collaborative Research Center "Computational Intelligence" (SFB 531), which was supported by the German Research Foundation (DFG)
  • Participance in the project Analytic Systems and Dialogue Games as Semantics of Fuzzy Logics at the Institute of Computer Languages (Theory and Logic Group) at the Vienna University of Technology
  • Participance in the project Fuzzy Logic: from Mathematics to Medical Applications, a cooperation of the Vienna University of Technology and the Medical University of Vienna
  • Participance in LoMoReVI (Logical Models of Reasoning with Vague Information), a Collaborative Research Project within the EUROCORES programme LogICCC of the European
    Science Foundation (ESF)
  • Head (on the Austrian side) of the project New Perspective on Residuated Posets, an Austrian-Czech cooperative research project, funded by the FWF and GAČR