Links und Funktionen

Sie sind hier: Startseite / Lehre / SS 2011 / Oberseminar / Giselle Reis: Cut-elimination by resolution


Giselle Reis: Cut-elimination by resolution

TCS Oberseminar, 02.09.2011, 11:15 Uhr
Wann 11:15 12:30 02.09.2011
von bis
Wo L109
Termin übernehmen vCal

In this talk I will give a brief introduction on the method of cut-elimination by resolution developed by Alexander Leitsch and Matthias Baaz. It has been used successfully to transform mathematical proofs by eliminating lemmas (cuts) and obtaining new proofs. Recently it has been extended to higher-order logic and the application in intuitionistic proofs is currently being studied. One of the main advantages of this method is that cuts are eliminated with a global awareness of the proof, and not only locally as the reductive methods. This is one of the reasons for the speed up over traditional cut-elimination in Gentzen's style. It has also been implemented and the tool can be downloaded at:


abgelegt unter: