Workshop on Proof Theory and Constructivism

Helsinki, 23 March 2012

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

Speakers :

Hajime Ishihara (Japan Advanced Institute of Science and Technology)
Sara Negri (University of Helsinki)
Erik Palmgren (University of Stockholm)
Jan von Plato (University of Helsinki)
Dag Prawitz (University of Stockholm)
Peter Schuster (University of Leeds)
Annika Siders (University of Helsinki)

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

sara.negri[at]helsinki.fi
jan.vonplato[at]helsinki.fi

Programme:

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.

Venue:

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