BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260410T181529Z
DTSTART;TZID=Australia/Melbourne:20190315T070000
DTEND;TZID=Australia/Melbourne:20190315T090000
SUMMARY:Collection Frames for Substructural Logics
UID:20260412T010120Z-iCalPlugin-Grails@philevents-web-f5d4878dd-dnjxp
TZID:Australia/Melbourne
LOCATION:Arts West\, Parkville\, Australia\, 3010
DESCRIPTION:<p>Greg Restall (Melbourne) will present "Collection Frames for Substructural Logics" at 11 in Arts West North Wing 353 on 15 March.</p>\nAbstract: In this talk I present a new frame semantics for positive substructural and relevant propositional logics. This frame semantics is both a generalisation of Routley&ndash\;Meyer ternary frames and a simplification of them. The key innovation is the use of a single accessibility relation to relate collections of points to points. Different logics are modelled by varying the kinds of collections featuring in the relation: for example\, they can be sets\, multisets\, lists or trees. &nbsp\;In this talk I will focus on&nbsp\;<em>multiset</em>&nbsp\;frames\, which are sound and complete for the logic&nbsp\;<strong>RW+</strong>&nbsp\;(positive multiplicative and additive linear logic with distribution for the additive connectives\, or equivalently\, the relevant logic&nbsp\;<strong>R+</strong>&nbsp\;without contraction). This is joint work with Shawn Standefer.\n&nbsp\;
ORGANIZER;CN=Shawn Standefer:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR