Talk: Proof Theory for Lattice-Ordered Groups

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...

Seminar: Pavelka style fuzzy logic over Chang's MV-algebra

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...