Speaker: George Metcalfe (University of Bern)

Date: Wednesday, 27.11.2013
Time: 17:00-18:00
Place: Seminar room "Gödel", Favoritenstraße 9

Proof theory can provide useful tools for tackling problems in algebra.
In particular, Gentzen systems admitting cut-elimination have bee...


Esko Turunen (Tampere University of Technology, Finland;

currently Marie Curie IEF fellow at TU Wien)

Date: Wednesday, 20.11.2013 Time: 17:00-18:00 Place Seminar room "Gödel", Favoritenstraße 9


We study Pavelka's fuzzy sentential logic by replacing the truth value se...