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        <p>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' , <i><b>Proof Theory Symposium Kiel 
 1974</b></i> (J. Diller and G. H. M&uuml;ller, eds
 ), <i>Springer Lecture Notes in Mathematics</i> Vo
 l <b>500</b>, Berlin 1975, pp. 290-319.</p>\n     
    <p>If time permits, or possibly at a later date
 , we shall look at: Dag Prawitz,'Completeness and 
 Hauptsatz for Second Order Logic', <i>Theoria</i> 
 <b>33</b>(1967), pp. 246-258.</p>\n    \n        <
 p>Those interested in participating may contact Pr
 of. B.G. Sundholm at <a class="email">goran.sundho
 lm <span class="at">at</span> gmail.com</a>. </p>\
 n    
URL:/NewsandEvents/Archives/2013/newsitem/5385/29-
 November-2013-Reading-group-on-proof-theory
END:VEVENT
END:VCALENDAR