Notre Dame Journal of Formal Logic 54 (1):15-20 (2013)
| Authors |
|
| Abstract |
We shed light on an old problem by showing that the logic LP cannot define a binary connective $\odot$ obeying detachment in the sense that every valuation satisfying $\varphi$ and $(\varphi\odot\psi)$ also satisfies $\psi$ , except trivially. We derive this as a corollary of a more general result concerning variable sharing
|
| Keywords | LP detachment-free logics detachable connective paradox relevance logics variable-sharing paraconsistent logic |
| Categories | (categorize this paper) |
| DOI | 10.1215/00294527-1731353 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 70,008
External links
- From the Publisher via CrossRef (no proxy)
- citeseerx.ist.psu.edu
(no proxy) - projecteuclid.org (no proxy)
- projecteuclid.org [2] (no proxy)
- projecteuclid.org [3] (no proxy)
- projecteuclid.org [4] (no proxy)
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
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
A Useful Four-Valued Logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.
Multiple-Conclusion Lp and Default Classicality.Jc Beall - 2011 - Review of Symbolic Logic 4 (2):326-336.
View all 8 references / Add more references
Citations of this work BETA
What Is an Inconsistent Truth Table?Zach Weber, Guillermo Badia & Patrick Girard - 2016 - Australasian Journal of Philosophy 94 (3):533-548.
Shrieking Against Gluts: The Solution to the 'Just True' Problem.Jc Beall - 2013 - Analysis 73 (3):438-445.
A Simple Approach Towards Recapturing Consistent Theories in Paraconsistent Settings.Jc Beall - 2013 - Review of Symbolic Logic 6 (4):755-764.
View all 15 citations / Add more citations
Similar books and articles
A Paraconsistentist Approach to Chisholm's Paradox.Marcelo Esteban Coniglio & Newton Marques Peron - 2009 - Principia: An International Journal of Epistemology 13 (3):299-326.
Ideal Paraconsistent Logics.O. Arieli, A. Avron & A. Zamansky - 2011 - Studia Logica 99 (1-3):31-60.
On Partial and Paraconsistent Logics.Reinhard Muskens - 1999 - Notre Dame Journal of Formal Logic 40 (3):352-374.
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.
Contra-Classical Logics.Lloyd Humberstone - 2000 - Australasian Journal of Philosophy 78 (4):438 – 474.
Yes, Virginia, There Really Are Paraconsistent Logics.Bryson Brown - 1999 - Journal of Philosophical Logic 28 (5):489-500.
An Infinity of Super-Belnap Logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319 - 335.
Fusions of Modal Logics and Fitch’s Paradox.Alexandre Costa-Leite - 2006 - Croatian Journal of Philosophy 6 (2):281-290.
Two Semantical Approaches to Paraconsistent Modalities.Juliana Bueno-Soler - 2010 - Logica Universalis 4 (1):137-160.
Implicational F-Structures and Implicational Relevance Logics.A. Avron - 2000 - Journal of Symbolic Logic 65 (2):788-802.
Modal Extensions of Sub-Classical Logics for Recovering Classical Logic.Marcelo E. Coniglio & Newton M. Peron - 2013 - Logica Universalis 7 (1):71-86.
A Theory of Hypermodal Logics: Mode Shifting in Modal Logic. [REVIEW]D. M. Gabbay - 2002 - Journal of Philosophical Logic 31 (3):211-243.
Analytics
Added to PP index
2012-12-15
Total views
52 ( #217,886 of 2,505,164 )
Recent downloads (6 months)
3 ( #209,577 of 2,505,164 )
2012-12-15
Total views
52 ( #217,886 of 2,505,164 )
Recent downloads (6 months)
3 ( #209,577 of 2,505,164 )
How can I increase my downloads?
Downloads
