Speaker: George Metcalfe (University of Bern)
Date: Wednesday, 27.11.2013
Time: 17:00-18:00
Place: Seminar room "Gödel", Favoritenstraße 9
Abstract:
Proof theory can provide useful tools for tackling problems in algebra.
In particular, Gentzen systems admitting cut-elimination have bee...
Speaker:
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
Abstract
We study Pavelka's fuzzy sentential logic by replacing the truth value se...