Open AccessRelevant Implication and Ordered Geometry
Author(s) -
Alasdair Urquhart
Publication year - 2019
Publication title -
australasian journal of logic
Language(s) - English
Resource type - Journals
ISSN - 1448-5052
DOI - 10.26686/ajl.v16i8.5732
Subject(s) - section (typography) , geometry , projective test , mathematics , computer science , pure mathematics , operating system
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.