Recent and upcoming talks by Matthias Baaz

Matthias Baaz: On the benefit of unsound rules: Henkin quantifiers and beyond

Invitation to the Logic Seminar at the National University of Singapore Date: Wednesday, 13 February 2019, 17:00 hrs Room: S17#04-06, Department of Mathematics, NUS Speaker: Matthias Baaz Title: On the benefit of unsound rules: Henkin quantifiers and beyond URL: http://www.comp.nus.edu.sg/~fstephan/logicseminar.html Abstract: We give examples of analytic sequent calculi LK+ and LK++ that extend Gentzen’s sequent calculus LK by unsound quantifier rules in such a way that (i) derivations lead only to true sequents (ii) cut free proofs may be non-elementary shorter than cut free LK proofs. continue reading…

Matthias Baaz: Towards a proof theory of analogical reasoning

Invitation to the Logic Seminar at the National University of Singapore Date: Monday, 25 April 2016, 15:00 hrs Room: S17#04-06, Department of Mathematics, NUS Speaker: Matthias Baaz, Technische Universitaet Wien Title: Towards a proof theory of analogical reasoning URL: http://www.comp.nus.edu.sg/~fstephan/logicseminar.html In this lecture we compare three types of analogies based on generalizations and their instantiations: 1. continue reading…