Talk: Andrew Tedder (Bochum)

Title:

Relevant consequence relations

Abstract:

This paper, based on joint work with Badia, Behounek, and Cintula, concerns a generalisation of the Tarskian definition of consequence relation to accommodate relevant logics. In particular, these are non-monotone multiset consequence relations. In this course of the talk, I present some motivations for the central definitions (building on a picture of relevance as it concerns derivations in an axiomatic system), consider a range of examples, and study the properties of these consequence relations. The upshot is to capture the idea that relevant implication expresses the real consequence relation of these logics, and to study what these consequence relations must look like when studied from a more abstract perspective.