A note on freedom from detachment in the logic of paradox
From MaRDI portal
Publication:1934950
DOI10.1215/00294527-1731353zbMath1272.03115MaRDI 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 logic; relevance logics; logic of paradox; detachable connective; detachment-free logics; variable-sharing
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
03B53: Paraconsistent logics
03B80: Other applications of logic
Related Items
REMARKS ON NAIVE SET THEORY BASED ONLP, LP+, K3+, FDE+, AND THEIR ‘CLASSICAL COLLAPSE’, Paraconsistent dynamics, Second-order logic of paradox, An algebraic view of super-Belnap logics, Denial and disagreement, K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You
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