I will give a lecture course in English,

Proof theory and constructive semantics

starting January 27, 2000. Päärakennus (Main University Building) Sali 4, Thursdays 10-12. The course is based on the book Structural Proof Theory , written with Jan von Plato. Contents. Cambridge University Press, to appear in 2000 or early 2001. Connected to the book is an interactive sequent calculus proof editor that can be found through Aarne Ranta's home page. The relevant chapters will be distributed during the course. Additional course material will be made available through this web page.

Additional reading

On the meaning of the logical constants and the justification of the logical laws, by Per Martin-Loef.
The impact of the lambda calculus in logic and computer science, by Henk Barendregt.

Exercises

In March the course will proceed with the following schedule:

Thu 2.3 10-12 Sali 4 (lecture)

Thu 9.3 10-12 Sali 4 (lecture) Thu 9.3 14-16 Auditourium VI (exercises)

Thu 16.3 10-12 Sali 4 (lecture) Thu 16.3 14-16 Auditourium VI (exercises)

Thu 23.3 10-12 Sali 4 (lecture) Thu 23.3 14-16 Auditourium VI (exercises)

Thu 30.3 10-12 Sali 4 *EXAM*

On Friday 31.3 10-12 I will return the exam papers and will be available for questions in my office at the Philosophy Department.

Auditorium VI is in the Main Building, old side, 2nd floor.

Sara Negri

logiikan dosentti

e-mail: negri@helsinki.fi

Back to Sara's homepage.