Routes to triviality

DOI10.1023/B:LOGI.0000036853.44128.8fzbMath1067.03040OpenAlexW2029674027MaRDI QIDQ1771203

Susan Rogerson, Greg Restall

Publication date: 7 April 2005

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:logi.0000036853.44128.8f

zbMATH Keywords

contractionCurry's paradoxnaïve comprehensionAbelian logicnonclassical implicational logicsPeirce's law

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items

What is a relevant connective? ⋮ Curry's paradox and \(\omega \)-inconsistency ⋮ A pragmatic dissolution of Curry's paradox ⋮ Natural deduction and Curry's paradox ⋮ Angell and McCall meet Wansing ⋮ Blocking the routes to triviality with depth relevance ⋮ Curry's paradox, generalized modus ponens axiom and depth relevance ⋮ Variations on a theme of Curry ⋮ An incompleteness theorem for modal relevant logics

Cites Work

• The consistency of the axiom of comprehension in the infinite-valued predicate logic of Lukasiewicz
• How to be really contraction free
• Extending intuitionistic linear logic with knotted structural rules
• Naïve comprehension and contracting implications
• Light affine set theory: A naive set theory of polynomial time
• Logical paradoxes for many-valued systems
• The combinatory foundations of mathematical logic
• Unnamed Item
• Unnamed Item
• Unnamed Item