A note on freedom from detachment in the logic of paradox

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

zbMATH Keywords

paraconsistent logicrelevance logicslogic of paradoxdetachable connectivedetachment-free logicsvariable-sharing

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53) Other applications of logic (03B80)

Related Items (8)

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

This page was built for publication: A note on freedom from detachment in the logic of paradox