The Relevant Logic E and Some Close Neighbours: A Reinterpretation

IfCoLog Journal of Logics and Their Applications 4 (3):695--730 (2017)
  Copy   BIBTEX

Abstract

This paper has two aims. First, it sets out an interpretation of the relevant logic E of relevant entailment based on the theory of situated inference. Second, it uses this interpretation, together with Anderson and Belnap’s natural deduc- tion system for E, to generalise E to a range of other systems of strict relevant implication. Routley–Meyer ternary relation semantics for these systems are produced and completeness theorems are proven.

Author Profiles

Edwin Mares
Victoria University of Wellington
Shawn Standefer
National Taiwan University

Analytics

Added to PP
2017-04-22

Downloads
437 (#35,099)

6 months
77 (#49,182)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?