Relevant Implication and Ordered Geometry

  • Alasdair Urquhart University of Toronto

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.

Author Biography

Alasdair Urquhart, University of Toronto

Professor Emeritus

Departments of Philosophy and Computer Science

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: 06 dec. 2019. doi: https://doi.org/10.26686/ajl.v16i8.5732.