Relevant Implication and Ordered Geometry
Abstract
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.
Downloads
Download data is not yet available.
Published
2019-11-19
How to Cite
URQUHART, Alasdair.
Relevant Implication and Ordered Geometry.
The Australasian Journal of Logic, [S.l.], v. 16, n. 8, p. 342-354, nov. 2019.
ISSN 1448-5052.
Available at: <https://ojs.victoria.ac.nz/ajl/article/view/5732>. Date accessed: 23 jan. 2021.
doi: https://doi.org/10.26686/ajl.v16i8.5732.
Section
Articles