Theory and Logic

Collegium Logicum Proof Theory: Herbrand's Theorem revisited

Mar 9, 2017

The workshop "Proof Theory: Herbrand's Theorem revisited" will take place on 25.-27.5.2017 at TU Wien and is co-organized by the Kurt Gödel Society.

Herbrand's theorem belongs to the greatest results in logic of the 20th century. This result had a major impact on proof theory and automated dedu...

Best Master Thesis and pest poster (EPILOG 2015)

Jun 13, 2015

Anela Lolic got the prize for the best Master Thesis at the Computer Science Faculty of TU Wien (EPILOG WS 2015 prize) with the Thesis Herbrand sequents and the Skolem-free CERES method under the supervision of Alexander Leitsch

Christoph Wolfgang Spoerk got the prize for the best Poster presenta...

Vienna Summer Of Logic

Dec 23, 2014

Vienna Summer Of Logic

Talk: Proof Theory for Lattice-Ordered Groups

Mar 15, 2013

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

Feb 28, 2013

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