29 November 2013, Reading group on proof theory

The topic is the completeness of the tableaux method for proof search. We shall study: Dag Prawitz, 'Comments on Gentzen-type Procedures and the Classical Notion of Truth' , Proof Theory Symposium Kiel 1974 (J. Diller and G. H. Müller, eds), Springer Lecture Notes in Mathematics Vol 500, Berlin 1975, pp. 290-319.

If time permits, or possibly at a later date, we shall look at: Dag Prawitz,'Completeness and Hauptsatz for Second Order Logic', Theoria 33(1967), pp. 246-258.

Those interested in participating may contact Prof. B.G. Sundholm at goran.sundholm at gmail.com.