Geometric Models for Relevant Logics
Outstanding Contributions to Logic | Springer International Publishing | Published : 2022
Alasdair Urquhart’s work on models for relevant logics is distinctive in a number of different ways. One key theme, present in both his undecidability proof for the relevant logic R (Urquhart 1984) and his proof of the failure of interpolation in R (Urquhart 1993), is the use of techniques from geometry (Urquhart 2019). In this paper, inspired by Urquhart’s work, I explore ways to generate natural models of R+ from geometries, and different constraints that an accessibility relation in such a model might satisfy. I end by showing that a set of natural conditions on an accessibility relation, motivated by geometric considerations, is jointly unsatisfiable.