Revisiting operational models for relevant logicsShawn Standefer (University of Melbourne)
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.
Who is attending?
No one has said they will attend yet.
Will you attend this event?