Natural deduction and Curry's paradox

DOI10.1007/s10992-006-9032-0zbMath1119.03013OpenAlexW2045171698MaRDI QIDQ877241

Susan Rogerson

Publication date: 19 April 2007

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

Full work available at URL: https://doi.org/10.1007/s10992-006-9032-0

zbMATH Keywords

Curry's paradox

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Set theory (03E99)

Related Items (2)

What is a relevant connective? ⋮ Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Four paradoxes
• How to be really contraction free
• Naïve comprehension and contracting implications
• Routes to triviality
• Curry's paradox in contractionless constructive logic
• Proof and Paradox
• On Paradox without Self-Reference
• Logical paradoxes for many-valued systems

This page was built for publication: Natural deduction and Curry's paradox