Expanding the Logic of Paradox with a Difference-Making Relevant Implication

DOI10.1007/978-3-030-25365-3_24zbMath1469.03082OpenAlexW2996762540MaRDI QIDQ3305679

Peter Verdée

Publication date: 10 August 2020

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-25365-3_24

zbMATH Keywords

paradoxescausalityrelevance logicdialetheismparaconsistent logicinterventionismnon-transitivitylogic of paradox

Mathematics Subject Classification ID

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

Cites Work

• The logic of paradox
• TRANSFINITE CARDINALS IN PARACONSISTENT SET THEORY
• MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY
• The undecidability of entailment and relevant implication
• Natural 3-valued logics—characterization and proof theory
• non-transitive relevant implication corresponding to classical logic consequence
• REMARKS ON NAIVE SET THEORY BASED ONLP
• Semantics for relevant logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item