Title: An Algebraic View of the Mares-Goldblatt Semantics
Abstract: Mares and Goldblatt (2006) introduced a frame-based semantics for quantified extensions of relevant logics, which are generally incomplete with respect to frame-based models employing the standard Tarskian/Kripkean machinery familiar from quantified modal and intuitionistic logic. In this talk, I’ll be presenting an algebraic generalisation of the original Mares-Goldblatt semantics by abstracting away from features of the frame semantics. The upshot is a more general structure which is aimed to facilitate comparison with other approaches to quantifiers in relevant and other non-classical logics.