Revisiting operational models for relevant logicsShawn Standefer (University of Melbourne)
September 8, 2017, 7:00am - 9:00am
Logic Group, The University of Melbourne
G10
Old Quad
Parkville 3010
Australia
Organisers:
Shawn Standefer
University of Melbourne
Topic areas
Details
Shawn Standefer (Melbourne) will present "Revisiting operational models for relevant logic" at 11 in Old Quad G10.
Abstract: I'll present an overview of work on operational models for relevant logics. Afterwards, I will make some observations about weak logics in this context. I'll close with a sketch of a proof closing an open question concerning operational models for RW.
Registration
No
Who is attending?
No one has said they will attend yet.
Will you attend this event?