BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2013/newsitem/5385/29- November-2013-Reading-group-on-proof-theory DTSTAMP:20131124T000000 SUMMARY:Reading group on proof theory DTSTART;VALUE=DATE:20131129 DTEND;VALUE=DATE:20131129 LOCATION:Philosophical Institute, Leiden Universit y, Matthias de Vrieshof 4 DESCRIPTION:The topic is the completeness of the t ableaux method for proof search. We shall study: D ag Prawitz, 'Comments on Gentzen-type Procedures a nd the Classical Notion of Truth' , Proof Theory S ymposium Kiel 1974 (J. Diller and G. H. Müller, ed s), Springer Lecture Notes in Mathematics Vol 500, Berlin 1975, pp. 290-319. If time permits, or po ssibly at a later date, we shall look at: Dag Praw itz,'Completeness and Hauptsatz for Second Order L ogic', Theoria33(1967), pp. 246-258. Those intere sted in participating may contact Prof. B.G. Sundh olm at goran.sundholm at gmail.com. X-ALT-DESC;FMTTYPE=text/html:\n
The topi c is the completeness of the tableaux method for p roof search. We shall study: Dag Prawitz, 'Comment s on Gentzen-type Procedures and the Classical Not ion of Truth' , Proof Theory Symposium Kiel 1974 (J. Diller and G. H. Müller, eds ), Springer Lecture Notes in Mathematics Vo l 500, Berlin 1975, pp. 290-319.
\nIf 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.
\n \n < p>Those interested in participating may contact Pr of. B.G. Sundholm at goran.sundho lm at gmail.com. URL:/NewsandEvents/Archives/2013/newsitem/5385/29- November-2013-Reading-group-on-proof-theory END:VEVENT END:VCALENDAR