- 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
The Relevant Equivalence Property
Logic Journal of the IGPL 15 (2):165-181 (2007)
Abstract
The pure implicational and the multiplicative fragments of a range of propositional relevant logics are shown to have the property that any two formulas equivalent in such a logic are constructed from exactly the same propositional variables – as opposed to merely having some propositional variable in commonAuthor's Profile
Other Versions
No versions found
My notes
Similar books and articles
There exist exactly two maximal strictly relevant extensions of the relevant logic R.Kazimierz Swirydowicz - 1999 - Journal of Symbolic Logic 64 (3):1125-1154.
A Lindström-style theorem for finitary propositional weak entailment languages with absurdity.Guillermo Badia - 2016 - Logic Journal of the IGPL 24 (2):115-137.
The Unique Intermediate Logic Whose Every Rule is Archetypal.Tomasz Polacik - 2005 - Logic Journal of the IGPL 13 (3):269-275.
The relevant fragment of first order logic.Guillermo Badia - 2016 - Review of Symbolic Logic 9 (1):143-166.
The classification of propositional calculi.Alexander S. Karpenko - 2000 - Studia Logica 66 (2):253-271.
Every Two-valuated Propositional Calculus Has The Interpolation Property.Zdzislaw Dywan & Teodor Stepien - 1980 - Bulletin of the Section of Logic 9 (4):152-153.
Complexity of finite-variable fragments of propositional modal logics of symmetric frames.Mikhail Rybakov & Dmitry Shkatov - forthcoming - Logic Journal of the IGPL.
Boolean negation and non-conservativity II: The variable-sharing property.Tore Fjetland Øgaard - 2021 - Logic Journal of the IGPL 29 (3):363-369.
Analytics
Added to PP
2015-02-04
Downloads
15 (#1,232,057)
6 months
6 (#856,140)
2015-02-04
Downloads
15 (#1,232,057)
6 months
6 (#856,140)
Historical graph of downloads
Author's Profile
Citations of this work
An Epistemic Interpretation of Paraconsistent Weak Kleene Logic.Damian E. Szmuc - forthcoming - Logic and Logical Philosophy:1.
A General Characterization of the Variable-Sharing Property by Means of Logical Matrices.Gemma Robles & José M. Méndez - 2012 - Notre Dame Journal of Formal Logic 53 (2):223-244.
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-667477cd97-wmc4m dc2