What is relevance logic?

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

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

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2013.07.004

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,709

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Arnon Avron, Relevance and Paraconsistency--A New Approach; Arnon Avron, Relevance and Paraconsistency--A New Approach. Part II: The Formal Systems; Arnon Avron, Relevance and Paraconsistency--A New Approach. Part III: Cut-Free Gentzen-Type Systems. [REVIEW]Alasdair Urquhart - 1992 - Journal of Symbolic Logic 57 (4):1481-1482.
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.
Relevance logic as a conservative extension of classical logic.David C. Makinson - 2014 - In Sven Ove Hansson (ed.), David Makinson on Classical Methods for Non-Classical Problems. Series: Outstanding Contributions to Logic. Springer.
The Semantics and Proof Theory of Linear Logic.Arnon Avron - 1988 - Theoretical Computer Science 57 (2):161-184.
Relevance logic brings hope to hypothetico-deductivism.C. Kenneth Waters - 1987 - Philosophy of Science 54 (3):453-464.
Apocalyptic relevance.John Woods - 1992 - Argumentation 6 (2):189-202.

Analytics

Added to PP
2014-01-16

Downloads
92 (#185,482)

6 months
14 (#176,451)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Arnon Avron
Tel Aviv University

Citations of this work

Variable-Sharing as Relevance.Shawn Standefer - forthcoming - In Igor Sedlár, Shawn Standefer & Andrew Tedder (eds.), New Directions in Relevant Logic.
What is a Relevant Connective?Shawn Standefer - 2022 - Journal of Philosophical Logic 51 (4):919-950.
Relevance logic.Edwin Mares - 2008 - Stanford Encyclopedia of Philosophy.
An Analysis of Poly-connexivity.Luis Estrada-González - 2022 - Studia Logica 110 (4):925-947.

View all 13 citations / Add more citations

References found in this work

Relevance Logic.Michael Dunn & Greg Restall - 1983 - In Dov M. Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic. Dordrecht, Netherland: Kluwer Academic Publishers.
The Semantics and Proof Theory of Linear Logic.Arnon Avron - 1988 - Theoretical Computer Science 57 (2):161-184.
The undecidability of entailment and relevant implication.Alasdair Urquhart - 1984 - Journal of Symbolic Logic 49 (4):1059-1073.
Many-valued logic.Alasdair Urquhart - 1986 - In D. Gabbay & F. Guenther (eds.), Handbook of Philosophical Logic, Vol. Iii. D. Reidel Publishing Co..

View all 12 references / Add more references