BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260717T084304Z
DTSTART;TZID=Australia/Melbourne:20190222T060000
DTEND;TZID=Australia/Melbourne:20190222T080000
SUMMARY:A Lindström theorem for propositional intuitionistic logic
UID:20260719T212604Z-iCalPlugin-Grails@fe80:0:0:0:74d0:1ff:feb1:3c52%3
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