12 April 2022, The Utrecht Logic in Progress Series (TULIPS), Andrew Tedder

Abstract: Mares and Goldblatt have introduced a general framework for providing frame-based semantics for which quantified relevant logics are complete (avoiding the incompleteness noted by Fine of these logics w.r.t. the simple `constant domain’ extensions of their usual frame-based semantics). In this talk, I’ll generalise and abstract away some of the frame-specific machinery of the Mares-Goldblatt framework in order to get a clearer idea of their algebraic structure. In so doing, I’ll consider issues relating to general completeness proofs for quantified extensions of logics complete w.r.t. certain classes of algebras (especially gaggles, following Dunn), mention some connections to related avenues of research in the model-theory of quantified non-classical logics, and suggest some potential applications of the resulting framework.

In person location: Utrecht, Kromme Nieuwegracht 80, room 1.06. This event will also be broadcast online, contact the organizer Colin R. Caret at c.r.caret at uu.nl for more information.