Studia Logica 104 (3):381-387 (2016)

Abstract
It is proved that the relevance logic \ has no structurally complete consistent axiomatic extension, except for classical propositional logic. In fact, no other such extension is even passively structurally complete.
Keywords Admissible rule  Structurally complete  Relevance logic
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s11225-015-9644-x
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: 58,777
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.
Structural Completeness in Fuzzy Logics.Petr Cintula & George Metcalfe - 2009 - Notre Dame Journal of Formal Logic 50 (2):153-182.
Note on Algebraic Models for Relevance Logic.Josep M. Font & Gonzalo Rodríguez - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (6):535-540.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

BCK is Not Structurally Complete.Tomasz Kowalski - 2014 - Notre Dame Journal of Formal Logic 55 (2):197-204.
Hereditarily Structurally Complete Modal Logics.V. V. Rybakov - 1995 - Journal of Symbolic Logic 60 (1):266-288.
Classically Complete Modal Relevant Logics.Edwin D. Mares - 1993 - Mathematical Logic Quarterly 39 (1):165-177.
LEt ® , LR °[^( ~ )], LK and Cutfree Proofs.Katalin Bimbó - 2007 - Journal of Philosophical Logic 36 (5):557-570.
Towards Structurally-Free Theorem Proving.M. Finger - 1998 - Logic Journal of the IGPL 6 (3):425-449.
Structural Completeness of Modal Logics Containing K4.Wieslaw Dziobiak - 1983 - Bulletin of the Section of Logic 12 (1):32-35.
Projective Unification in Modal Logic.Wojciech Dzik & Piotr Wojtylak - 2012 - Logic Journal of the IGPL 20 (1):121-153.
What is Relevance Logic?Arnon Avron - 2014 - Annals of Pure and Applied Logic 165 (1):26-48.
Combinators and Structurally Free Logic.J. Dunn & R. Meyer - 1997 - Logic Journal of the IGPL 5 (4):505-537.
Implicational F-Structures and Implicational Relevance Logics.A. Avron - 2000 - Journal of Symbolic Logic 65 (2):788-802.

Analytics

Added to PP index
2015-12-20

Total views
8 ( #956,128 of 2,425,450 )

Recent downloads (6 months)
1 ( #547,144 of 2,425,450 )

How can I increase my downloads?

Downloads

My notes