Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

29 November 2013, Reading group on proof theory

Date: Friday 29 November 2013
Location: Philosophical Institute, Leiden University, Matthias de Vrieshof 4

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 .

Please note that this newsitem has been archived, and may contain outdated information or links.