Relevant Implication and Ordered Geometry

  • Alasdair Urquhart University of Toronto


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.


Download data is not yet available.

Author Biography

Alasdair Urquhart, University of Toronto

Professor Emeritus

Departments of Philosophy and Computer Science

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: <>. Date accessed: 23 jan. 2021. doi: