Authors
Edwin Mares
Victoria University of Wellington
Shawn Standefer
University of Melbourne
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.
Keywords entailment  relevant logic  strict implication  situated inference  ternary relation semantics
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Semantics for Relevant Logics.Alasdair Urquhart - 1972 - Journal of Symbolic Logic 37 (1):159-169.
Entailment and Relevant Implication.Robert K. Meyer - 1968 - Logique Et Analyse 11:472-479.
[Omnibus Review].Alasdair Urquhart - 1983 - Journal of Symbolic Logic 48 (1):206-208.

Add more references

Citations of this work BETA

Trees for E.Shawn Standefer - 2018 - Logic Journal of the IGPL 26 (3):300-315.

Add more citations

Similar books and articles

Neighborhoods for Entailment.Lou Goble - 2003 - Journal of Philosophical Logic 32 (5):483-529.
“Four-Valued” Semantics for the Relevant Logic R.Edwin D. Mares - 2004 - Journal of Philosophical Logic 33 (3):327-341.
Relational Proof System for Relevant Logics.Ewa Orlowska - 1992 - Journal of Symbolic Logic 57 (4):1425-1440.
Relevant Implication and the Case for a Weaker Logic.Ross T. Brady - 1996 - Journal of Philosophical Logic 25 (2):151 - 183.
A Dynamic Characterization of the Pure Logic of Relevant Implication.Diderik Batens - 2001 - Journal of Philosophical Logic 30 (3):267-280.
Ternary Relations and Relevant Semantics.Robert K. Meyer - 2004 - Annals of Pure and Applied Logic 127 (1-3):195-217.
The Systems of Relevance Logic.Ryszard Mirek - 2011 - Argument: Biannual Philosophical Journal 1 (1):87-102.
Relevant Predication: Grammatical Characterisations. [REVIEW]Philip Kremer - 1989 - Journal of Philosophical Logic 18 (4):349 - 382.
An Incomplete Relevant Modal Logic.Lou Goble - 2000 - Journal of Philosophical Logic 29 (1):103-119.

Analytics

Added to PP index
2017-04-22

Total views
189 ( #44,497 of 2,324,551 )

Recent downloads (6 months)
20 ( #32,836 of 2,324,551 )

How can I increase my downloads?

Downloads

My notes