- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Structural Completeness in Relevance Logics
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.Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
On structural completeness of implicational logics.Piotr Wojtylak - 1991 - Studia Logica 50 (2):275 - 297.
Hereditarily Structurally Complete Superintuitionistic Deductive Systems.Alex Citkin - 2018 - Studia Logica 106 (4):827-856.
BCK is not Structurally Complete.Tomasz Kowalski - 2014 - Notre Dame Journal of Formal Logic 55 (2):197-204.
Hereditarily Structurally Complete Intermediate Logics: Citkin’s Theorem Via Duality.Nick Bezhanishvili & Tommaso Moraschini - 2023 - Studia Logica 111 (2):147-186.
Hereditarily structurally complete modal logics.V. V. Rybakov - 1995 - Journal of Symbolic Logic 60 (1):266-288.
Finitary Extensions of the Nilpotent Minimum Logic and (Almost) Structural Completeness.Joan Gispert - 2018 - Studia Logica 106 (4):789-808.
Classically complete modal relevant logics.Edwin D. Mares - 1993 - Mathematical Logic Quarterly 39 (1):165-177.
Hereditarily structurally complete positive logics.Alex Citkin - 2020 - Review of Symbolic Logic 13 (3):483-502.
Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5.Wojciech Dzik & Beniamin Wróbel - 2015 - Bulletin of the Section of Logic 44 (1/2):1-14.
Admissible rules in the implication–negation fragment of intuitionistic logic.Petr Cintula & George Metcalfe - 2010 - Annals of Pure and Applied Logic 162 (2):162-171.
Analytics
Added to PP
2015-12-20
Downloads
41 (#378,268)
6 months
31 (#125,391)
2015-12-20
Downloads
41 (#378,268)
6 months
31 (#125,391)
Historical graph of downloads
Citations of this work
Singly generated quasivarieties and residuated structures.Tommaso Moraschini, James G. Raftery & Johann J. Wannenburg - 2020 - Mathematical Logic Quarterly 66 (2):150-172.
Varieties of positive modal algebras and structural completeness.Tommaso Moraschini - 2019 - Review of Symbolic Logic 12 (3):557-588.
The Strong Version of a Sentential Logic.Hugo Albuquerque, Josep Maria Font & Ramon Jansana - 2017 - Studia Logica 105 (4):703-760.
Structural Completeness in Many-Valued Logics with Rational Constants.Joan Gispert, Zuzana Haniková, Tommaso Moraschini & Michał Stronkowski - 2022 - Notre Dame Journal of Formal Logic 63 (3):261-299.
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.
Admissible rules in the implication–negation fragment of intuitionistic logic.Petr Cintula & George Metcalfe - 2010 - Annals of Pure and Applied Logic 162 (2):162-171.
Structural Completeness in Substructural Logics.J. S. Olson, J. G. Raftery & C. J. Van Alten - 2008 - Logic Journal of the IGPL 16 (5):453-495.
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.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-2nz2h uwo