The Geometry of Relevant Implication.

This paper is a continuation of earlier work by the author on the connection between the logic KR and projective geometry. It contains a simplified con- struction of KR model structures; as a consequence, it extends the previous results to a much more extensive class of projective spaces and the correspond- ing modular lattices.

Authors

• Alasdair Urquhart

Keywords

• KR
• modular lattices
• projective spaces
• relation algebras
• relevance logic