Relevant Implication and Ordered Geometry
Alasdair Urquhart · The Australasian Journal of Logic · 2019
This paper shows that model structures for R+, the system of positive relevant implication, can be constructed from ordered geometries. This extends earlier results building such model structures from projective spaces. A final section shows how such models can be extended to models for the full system R.