A note on freedom from detachment in the logic of paradox

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

zbMATH Keywords

paraconsistent logic; relevance logics; logic of paradox; detachable connective; detachment-free logics; variable-sharing

Mathematics Subject Classification ID

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