Annals of Pure and Applied Logic 165 (1):26-48 (2014)

Authors
Arnon Avron
Tel Aviv University
Abstract
We suggest two precise abstract definitions of the notion of ‘relevance logic’ which are both independent of any proof system or semantics. We show that according to the simpler one, R → source is the minimal relevance logic, but R itself is not. In contrast, R and many other logics are relevance logics according to the second definition, while all fragments of linear logic are not
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2013.07.004
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,214
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

Relevance Logic.Michael Dunn & Greg Restall - 2002 - In D. Gabbay & F. Guenthner (eds.), Handbook of Philosophical Logic. Kluwer Academic Publishers.
The Semantics and Proof Theory of Linear Logic.Arnon Avron - 1988 - Theoretical Computer Science 57 (2):161-184.
Many-Valued Logic.Alasdair Urquhart - 1986 - In D. Gabbay & F. Guenther (eds.), Handbook of Philosophical Logic, Vol. Iii. D. Reidel Publishing Co..
The Undecidability of Entailment and Relevant Implication.Alasdair Urquhart - 1984 - Journal of Symbolic Logic 49 (4):1059-1073.

View all 12 references / Add more references

Citations of this work BETA

Relevance Logic.Edwin Mares - 2008 - Stanford Encyclopedia of Philosophy.
What is a Relevant Connective?Shawn Standefer - forthcoming - Journal of Philosophical Logic:1-32.
The Relevance of Premises to Conclusions of Core Proofs.Neil Tennant - 2015 - Review of Symbolic Logic 8 (4):743-784.
Sequent-Based Logical Argumentation.Ofer Arieli & Christian Straßer - 2015 - Argument and Computation 6 (1):73-99.

View all 11 citations / Add more citations

Similar books and articles

The Classical Constraint on Relevance.Arnon Avron - 2014 - Logica Universalis 8 (1):1-15.
R and Relevance Principle Revisited.Eunsuk Yang - 2013 - Journal of Philosophical Logic 42 (5):767-782.
Whither Relevance Logic?Arnon Avron - 1992 - Journal of Philosophical Logic 21 (3):243 - 281.
The Irrelevance of Relevance.David Botting - 2013 - Informal Logic 33 (1):1-21.
Relevance and Paraconsistency—a New Approach.Arnon Avron - 1990 - Journal of Symbolic Logic 55 (2):707-732.
Implicational F-Structures and Implicational Relevance Logics.A. Avron - 2000 - Journal of Symbolic Logic 65 (2):788-802.
Relevance and Paraconsistency---A New Approach. II. The Formal Systems.Arnon Avron - 1990 - Notre Dame Journal of Formal Logic 31 (2):169-202.
A Pretabular Classical Relevance Logic.Lisa Galminas & John G. Mersch - 2012 - Studia Logica 100 (6):1211-1221.
The Semantics and Proof Theory of Linear Logic.Arnon Avron - 1988 - Theoretical Computer Science 57 (2):161-184.
Apocalyptic Relevance.John Woods - 1992 - Argumentation 6 (2):189-202.

Analytics

Added to PP index
2014-01-16

Total views
69 ( #166,615 of 2,507,637 )

Recent downloads (6 months)
8 ( #90,473 of 2,507,637 )

How can I increase my downloads?

Downloads

My notes