A note on freedom from detachment in the logic of paradox
From MaRDI portal
Publication:1934950
DOI10.1215/00294527-1731353zbMath1272.03115OpenAlexW2135645289MaRDI QIDQ1934950
Thomas Forster, Jeremy Seligman, J. C. Beall
Publication date: 30 January 2013
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1355494519
paraconsistent logicrelevance logicslogic of paradoxdetachable connectivedetachment-free logicsvariable-sharing
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53) Other applications of logic (03B80)
Related Items
Second-order logic of paradox, An algebraic view of super-Belnap logics, Non-Boolean classical relevant logics. II: Classicality through truth-constants, Denial and disagreement, K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You, Paraconsistent dynamics, LP+, K3+, FDE+, AND THEIR ‘CLASSICAL COLLAPSE’, REMARKS ON NAIVE SET THEORY BASED ONLP
Cites Work
- Unnamed Item
- Unnamed Item
- Accepting inconsistencies from the paradoxes
- Paradox, truth and logic. I. Paradox and truth
- Interpolation theorem in many-valued logics with designated values
- The logic of paradox
- A calculus of antinomics
- MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY
- Logic for Equivocators
- TRANSIENT SOLUTION OF A ONE-DIMENSIONAL THERMOELASTIC WAVE PROPAGATION PROBLEM