Workshop on Proof Theory and Constructivism

Helsinki, 23 March 2012

Organizers: Sara Negri and Jan von Plato, Department of Philosophy, University of Helsinki

Speakers :

If you are interested to participate please contact one of us:



10.30-11.15 Erik Palmgren: Inversion principles in logic and type theory and the foundations of mathematics.

11.15-12.00 Peter Schuster: Proofs by induction.

12.00-14.15 Lunch break

14.15-15.00 Dag Prawitz: Normalization of natural deductions in 1st order arithmetic using the Gentzen measure.

15.00-15.30 Annika Siders: From Gentzen's heightlines to direct cut elimination.

15.30-16.00 Coffee break

16.00-16.45 Hajime Ishihara: Some conservative extension results of classical logic over intuitionistic logic.

16.45-17.15 Sara Negri: Design of proof systems: The pros and cons of harmony.

17.15-17.45 Jan von Plato: Interpretation of cuts in natural deduction.


University of Helsinki, Main Building, Auditorium II (morning, entrance from Senate Square side, Unioninkatu 34) and lecture room 7 (afternoon, entrance from Fabianinkatu 33).