Skip to Content

Thomas Vetterlein, lectures and teaching

 

Lectures at international conferences or workshops

 

  • Realization of semisimple MV-algebras by means of propositional structures,
    Conference for Fuzzy Set Theory and Applications (FSTA), 30. 1. - 4. 2. 2000, Liptovský Ján (Slovakia).
  • Pseudoeffect algebras,
    International Students' Conference on Applied Mathematics (ISCAM), 14. - 15. 4. 2000, Bratislava (Slovakia).
  • Structure theory for pseudoeffect algebras,
    Conference of the International Quantum Structures Association (IQSA), 30. 3. - 5. 4. 2001, Cesenatico (Italy).
  • Generalized pseudoeffect algebras and related quantum structures,
    International Students' Conference on Applied Mathematics (ISCAM), 20. - 21. 4. 2001, Bratislava (Slovakia).
  • Archimedean pseudoeffect algebras,
    Conference for Fuzzy Set Theory and Applications (FSTA), 27. 1. - 1. 2. 2002, Liptovský Ján (Slovakia).
  • Partial algebras among quantum structures,
    Arbeitstagung Allgemeine Algebra (AAA), 22. - 24. 2. 2002, Kaiserslautern (Germany).
  • Pseudoeffect algebras with states - typical examples, sufficient conditions,
    International Students' Conference on Applied Mathematics (ISCAM), 19. - 20. 4. 2002, Bratislava (Slovakia).
  • Nearly commutative pseudoeffect algebras,
    Conference of the International Quantum Structures Association (IQSA), 1. - 5. 7. 2002, Vienna (Austria).
  • Weak effect algebras,
    International Students' Conference on Applied Mathematics (ISCAM), 11. - 12. 4. 2003, Bratislava (Slovakia).
  • Notes on product logic with involution,
    2nd Workshop on Mathematical Structures for Nonstandard Logics, 12. 12. 2003, Prague (Czech Republic).
  • Representing situation-dependent fuzzy sets,
    Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT), 10. - 12. 9. 2003, Zittau (Germany).
  • How can we interpolate fuzzy functions?,
    Conference for Fuzzy Set Theory and Applications (FSTA), 26. 1. - 30. 1. 2004, Liptovský Ján (Slovakia).
  • Smooth extensions of fuzzy if-then rule bases,
    International Conference on Computational Intelligence (Fuzzy days), 29. 9. - 1. 10. 2004, Dortmund (Germany).
  • BL- and MTL-algebras as partial structures,
    26th Linz Seminar on Fuzzy Set Theory, 1. - 5. 2. 2005, Linz (Austria).
  • (with M. Navara, D. Butnariu) Linear spaces of fuzzy vectors,
    26th Linz Seminar on Fuzzy Set Theory, 1. - 5. 2. 2005, Linz (Austria).
  • Metrics on universes of propositions determining continuous t-norms,
    Algebraic and Topological Methods in Non-Classical Logics II, 15. - 18. 6. 2005, Barcelona (Spain).
  • (with M. Navara) Steiner point of fuzzy sets,
    Conference of the International Fuzzy Systems Association (IFSA), 28. - 31. 7. 2005, Beijing (China).
  • Semantics for propositional fuzzy logics,
    Conference "Logic in Hungary", 5. - 11. 8. 2005, Budapest (Hungary).
  • Fuzzy logic as a logic of information with uncertain content,
    International Conference Logic of Soft Computing IV, 5. - 7. 10. 2005, Ostrava (Czech Republic).
  • Equivalence Relations on Lattices and Residuated lattices,
    Prague International Colloquium "Uncertainty: Reasoning about probability and vagueness, 5. - 8. 9. 2006, Prag (Czech Republic).
  • A logic based on the ordinal sums of Lukasiewicz t-norms,
    Second Czech-Catalan Conference in Mathematics, 21. - 23. 9. 2006, Barcelona (Spain).
  • Towards a Proof Theory of Basic Logic,
    Conference of the International Fuzzy Systems Association (IFSA), 18. - 21. 6. 2007 in Cancún (Mexiko).
  • Left-continuous t-norms as functional algebras,
    Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT), 11. - 14. 9. 2007, Ostrava (Czech Republic).
  • Boolean automorphisms and the semantics of fuzzy and quantum logics,
    First Sardinian-Catalan Workshop on Algebraic and Fuzzy Logic, 6.-7. 10. 2007, Cagliari (Italy).
  • Fuzzy logic - hardly replaceable in medical expert systems,
    Collegium Logicum on Logical Models of Reasoning with Vague Information, 27. 3. 2008, Vienna (Austria).
  • Implication-less fuzzy logics and their application in medicine,
    Workshop Fuzzy Logic and Beyond, 23. 7. 2008, Vienna (Austria).
  • Effect algebras: a successful notion,
    video lecture at the meeting of the International Quantum Structures Association,
    6.-12. 7. 2008, Sopot (Poland).
  • Fuzzy logics for Cadiag-2: achievements and problems,
    (round table contribution:) Fuzzy logic (in the narrow sense) in technical applications
    Conference on Logic, Algebra, and Truth Degrees, 8.-11. 9. 2008, Siena (Italy).
  • The partial-algebra method for the representation of algebras related to fuzzy logics,
    30th Linz Seminar on Fuzzy Set Theory, 3. - 7. 2. 2009, Linz (Austria).
  • Fuzzy logic as a formal framework for CADIAG-2 (poster),
    Conference eHealth 2009 and eHealth Benchmarking 2009, 8. - 9. 5. 2009, Vienna (Austria).
  • A logic handling both uncertainty and vagueness,
    Moscow-Vienna Workshop on Logic and Computation, 29. - 30. 6. 2009, Vienna (Austria).
  • T-norm-based fuzzy logic and logics for reasoning under vagueness,
    Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT) and the International Fuzzy Systems Association (IFSA), 20. - 24. 7. 2009, Lisbon (Portugal).
  • (with A. Ciabattoni and K.-P. Adlassnig) A formal logical framework for CADIAG-2,
    Conference of the European Federation for Medical Informatics (MIE), 30. 8. - 2. 9. 2009, Sarajevo (Bosnia and Hercegovina).
  • On vagueness and granularity,
    Conference on Logical Models of Reasoning with Vague Information (LoMoReVI), 14. - 17. 9. 2009, Čejkovice (Czech Republic).
  • Possibilistic Logic for graded properties,
    31st Linz Seminar on Fuzzy Set Theory, 9. - 13. 2. 2010, Linz (Austria).
  • Invited lecture: Notes on the foundations of fuzzy logic,
    ManyVal '10, 3. - 5. 5. 2010, Varese (Italy).
  • (with H. Mandl, K.-P. Adlassnig) Processing gradual information with Fuzzy Arden Syntax,
    13th World Congress on Medical and Health Informatics (MEDINFO), Cape Town (South Africa).
  • Logics for arguing pro and contra,
    32nd Linz Seminar on Fuzzy Set Theory, 1. - 5. 2. 2011, Linz (Austria).
  • The representation problem for residuated l-monoids: the case of t-norm algebras,
    International Conference on Semigroups, General Algebra, and Applications - 82nd Arbeitstagung Allgemeine Algebra (AAA),
    24. - 26. 6. 2011, Potsdam (Germany)
  • A logic of the similarity with prototypes
    and its relationship to fuzzy logic,

    Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT),
    18. - 22. 7. 2011, Aix-les-Bains (France)
  • Logics between approximate reasoning and fuzzy logic,
    Workshop on Non-classical logics,
    25. - 26. 11. 2011, Vienna (Austria)
  • Fuzzy logic and the similarity-based interpretation of fuzzy sets,
    Conference for Fuzzy Set Theory and Applications (FSTA), 30. 1. - 3. 2. 2012, Liptovský Ján (Slovakia).

  • On the characterisation of left-continuous t-norms,
    33rd Linz Seminar on Fuzzy Set Theory, 14. - 18. 2. 2012, Linz (Austria).

  • Methods of describing totally ordered commutative monoids,
    Linz Algebra Research Day (LARD), 21. 6. 2012, Hagenberg (Austria).

  • Invited lecture: On graded logical approaches to formalising medical decision support,
    20th European Conference on Artificial Intelligence (ECAI), Workshop on Weighted Logics for AI, 28. 8. 2012, Montpellier (France).

  • A logic for approximate reasoning with a comparative connective,
    20th European Conference on Artificial Intelligence (ECAI), Workshop on Weighted Logics for AI, 28. 8. 2012, Montpellier (France).

  • Construction methods for finite commutative tomonoids,
    3rd Conference on Logic, Algebras, and Truth degrees (LATD), 10. - 14. 9. 2012, Kanazawa (Japan).

  • The conjunction in fuzzy logic,
    34th Linz Seminar on Fuzzy Set Theory, 26. 2. - 2. 3. 2013, Linz (Austria).

  • Direction cones for the representation of tomonoids,
    4th Novi Sad Algebraic Conference & Semigroups and Applications 2013, 5. - 9. 6. 2013, Novi Sad (Serbia).

  • Tomonoid extensions: the key for the construction of t-norms,
    Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT), 11. - 13. 9. 2013, Milano (Italy).

  • Algebraic semantics: the structure of chains,
    2nd Prague Symposium on Semilinear Logics, 20. 11. 2013, Prague (Czech Republic).

  • On the axiomatisation of logics for approximate reasoning,
    12th Conference for Fuzzy Set Theory and Applications (FSTA), 26. - 31. 1. 2014, Liptovský Ján (Slovakia).

  • (with M. Petrík) On elementary extensions of finite negative commutative tomonoids,
    87th Arbeitstagung Allgemeine Algebra, 7. - 9. 2. 2014, Linz (Austria)

  • (with M. Petrík) Finite negative commutative tomonoids and the level-set approach,
    35th Linz Seminar on Fuzzy Set Theory, 18. - 22. 2. 2014, Linz (Austria)

  • (with A. Zamansky) An application of distance-based approximate reasoning for diagnostic questionnaires in healthcare,
    4th Conference on Logic, Algebra, and Truth Degrees  (LATD), 16. - 19. 7. 2014, Vienna (Austria)

  • (with A. Zamansky) A logic-based framework for medical assessment questionnaires,
    Workshop on Knowledge-Representation for Health Care (KR4HC), 21. 7. 2014, Vienna (Austria)

  • (with S. Khourry and A. Zamansky) A fuzzy-logic approach to medical assessment questionnaires,
    Israeli Workshop on Non-Classical Logics and Their Applications (ISRALOG),
    29.9. - 1.10. 2014, Haifa (Israel)

  • (with M. Petrík) Algorithm to generate the Archimedean, finite, negative tomonoids,
    Conference SCIS & ISIS, 3. - 6. 12. 2014, Fukuoka (Japan).

  • The geometry of positive commutative totally ordered monoids,
    90. Arbeitstagung Allgemeine Algebra, 4. - 7.6.2015 (Novi Sad, Serbia).

  • Logic of prototypes and counterexamples: possibilities and limit,
    Conference of the European Society for Fuzzy Set Theory and Applications (EUSFLAT), 30. 6. - 3. 7. 2015 (Gijón, Spain).

  • Work done and work to be done: tomonoids, coextensions, constructions
    Workshop New Perspectives on Residuated Posets, 28. - 30. 9. 2015 (Brno, Czech Republic).

  • What should a logic of vagueness be useful for?
    Workshop on the future of MFL, 16. 6. 2016 (Prague, Czech Republic).

  • Group coextensions of monoids in an ordered setting,
    92. Arbeitstagung Allgemeine Algebra, 27. - 29. 5. 2016 (Prague, Czech Republic).

  • Algorithm to generate finite totally ordered monoids,
    16th Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU), 20. - 24. 6. 2016 (Eindhoven, The Netherlands).

  • Invited lecture: The many facets of the representation theory of residuated structures,
    54th Summer School on General Algebra and Ordered Sets (SSAOS), 3. - 9. 9. 2016 (Trojanovice, Czech Republic).

 

Lectures at seminars

 

  • Quantenstrukturen (Quantum structures),
    12. 6. 2001, Working group 1 of the Faculty of Mathematics, Technical University Darmstadt (Prof. Burmeister).
  • States on pseudoeffect algebras,
    10. 4. 2002, Institute of Mathematics, Department of Electrical Engeneering, Czech Technical University Prague (Prof. Pták).
  • Pseudoeffektalgebren - ein Überblick (Pseudoeffect algebras - an overview),
    14. 5. 2002, Institute of Algebra and Computer Mathematics, Technical University Vienna (Prof. Dorninger).
  • Pseudoeffect algebras - classes of particular interest,
    16. 5. 2002, Department of Algebra and Geometry, Masaryk University Brno (Dr. Paseka).
  • What do BL-algebras and effect algebras have in common?,
    26. 11. 2002, Institute of Computer Sciences, Czech Akademy of Sciences Prague (Prof. Hájek).
  • Characterizing the Hilbert space - possible new approaches,
    15. 6. 2003, Department of Mathematical Analysis, Technical University Budapest (Prof. Petz).
  • Partial algebras for fuzzy logics,
    28. 6. 2004, Institute of Computer Sciences, Czech Akademy of Sciences Prague (Prof. Hájek).
  • Fuzzy structures as partial algebras,
    14. 4. 2005, Mathematical Institute, Slovak Akademy of Sciences, Bratislava (Prof. Dvurečenskij).
  • Metrics on universes of propositions determining continuous t-norms,
    4. 5. 2005, Institute of Computer Sciences, Czech Akademy of Sciences Prague (Prof. Hájek).
  • Po-group representations of MTL-algebras - how far can we get?,
    First Joint FLLL/SCCH Master and PhD Seminar of the summer term 2006, 27. 4. 2006, Hagenberg (Prof. Klement).
  • Semantics for fuzzy logics - still a challenge,
    17. 1. 2008, Institut für Computersprachen, Vienna University of Technology, Vienna (Prof. Fermüller).
  • On the interpretation of the conjunction in fuzzy logics,
    19. 9. 2008, Mathematical Institute, Slovak Akademy of Sciences, Bratislava (Prof. Dvurečenskij).
  • Formal approaches to expert systems,
    25. 2. 2009, Institute of Computer Sciences, Czech Akademy of Sciences Prague (Prof. Hájek).
  • On Possibilistic Logic for graded properties,
    24. 11. 2009, Research Group in Non-Classical Logics, University of Barcelona (Prof. Font).
  • Approximate Reasoning,
    15. 2. 2011, Advances in Knowledge-Based Technologies, WS10-2, FLLL/SCCH Hagenberg
  • Recent Advances in Approximate Reasoning,
    15. 6. 2011, Advances in Knowledge-Based Technologies, SS11-2, FLLL/SCCH Hagenberg
  • Totally ordered monoids,
    21. 10. 2013, Mathematical Institute, University of Bern (Prof. Metcalfe).
  • Totally ordered monoids,
    9. 1. 2015, Institute of Discrete Mathematics and Geometry, TU Wien (Prof. Dorfer).
  • Constructive approaches to residuated structures: ideas and problems,
    24.2.2015, Dept. of Algebra and Geometry, Palacký University in Olomouc (Prof. Chajda).
     

 

Courses

 
(Courses were given at the Johannes Kepler University, if not otherwise noticed. For information on current courses, consult KUSSS.)
 

  • Mehrwertige Logiken (Many-valued logics), special lecture, University of Dortmund, summer term 2004.
  • Algebraische Aspekte der Logik (Algebraic aspects of logics), special lecture, Johannes Kepler University Linz, summer term 2006.
  • Fuzzysysteme (Fuzzy systems), lecture, Medical University of Vienna, summer term 2008, 2009, 2010.
  • Medizinische Expertensysteme (Medical expert systems), internship, Medical University of Vienna, summer term 2008, 2009, 2010.
  • Informationssysteme und Entscheidungsunterstützung (Information systems and decision support), exercises, Medical University of Vienna, winter term 2008/2009.
  • Mathematische Grundlagen (Mathematical foundations), exercises, winter term 2010/2011.
  • Verbandstheorie (Lattice theory), special lecture, summer term 2011.
  • Algebra für Informatiker (Algebra for computer scientists), exercises, summer term 2011.
  • Mathematische Grundlagen (Mathematical foundations), lecture, winter term 2011/2012.
  • Mathematische Grundlagen (Mathematical foundations), exercises, winter term 2011/2012.
  • Mathematik 1 (Mathematics 1), exercises, winter term 2011/2012.
  • Mathematik 2 (Mathematics 2), exercises, summer term 2012.
  • Mathematische Grundlagen (Mathematical foundations), exercises, winter term 2012/2013.
  • Fuzzy Logic, lecture, summer term 2013.
  • Wissensbasierte mathematische Systeme (Knowledge-based mathematical systems (with S. Saminger-Platz), seminar, summer term 2013.
  • Diskrete Strukturen (Discrete Structures), lecture, summer term 2013.
  • Diskrete Strukturen (Discrete Structures), exercises, summer term 2013.
  • Fuzzy Logic (with S. Saminger-Platz), seminar, summer term 2013.
  • Mathematik 2 (Mathematics 2), exercises, summer term 2014.
  • Wissensbasierte mathematische Systeme (Knowledge-based mathematical systems (with S. Saminger-Platz), seminar, summer term 2014.
  • Approximate Reasoning, special lecture, summer term 2014.
  • Fuzzy logic, lecture, winter term 2014/2015.
  • Fuzzy logic, exercises, winter term 2014/2015.
  • Diskrete Strukturen (Discrete structures), exercises, winter term 2014/2015.