Open AccessRelevant Implication and Ordered Geometry
Author(s) -
Alasdair Urquhart
Publication year - 2019
Publication title -
the 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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom