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...
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
Speaker: George Metcalfe (University of Bern)
Date: Wednesday, 27.11.2013
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
Place Seminar room "Gödel", Favoritenstraße 9
We study Pavelka's fuzzy sentential logic by replacing the truth value se...