BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260605T234454Z
DTSTART;TZID=Australia/Melbourne:20190222T060000
DTEND;TZID=Australia/Melbourne:20190222T080000
SUMMARY:A Lindström theorem for propositional intuitionistic logic
UID:20260610T080741Z-iCalPlugin-Grails@philevents-web-bd7db559-gt5qm
TZID:Australia/Melbourne
LOCATION:Old Arts\, Parkville\, Australia\, 3010
DESCRIPTION:<p>Guillermo Badia (Queensland) will present "A Lindstr&ouml\;m theorem for propositional intuitionistic logic" at 11 on 22 February in Old Arts 152. This is joint work with&nbsp\;Grigory Olkhovikov.</p>\n<p><em>Abstract: </em>It is shown that propositional intuitionistic logic is the maximal (with respect to expressive power) abstract logic satisfying a certain topological property reminiscent of compactness\, the Tarski union property and preservation under asimulations.</p>
ORGANIZER;CN=Shawn Standefer:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR