Natural deduction and Curry's paradox

DOI10.1007/S10992-006-9032-0zbMATH Open1119.03013OpenAlexW2045171698MaRDI QIDQ877241FDOQ877241

Authors: 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

Recommendations

• The naturality of natural deduction
• scientific article
• Gödel's natural deduction
• Natural deduction for paraconsistent logic
• scientific article; zbMATH DE number 1335693
• Natural deduction in a paracomplete setting
• scientific article; zbMATH DE number 3275554
• Curry's paradox in contractionless constructive logic
• Naturalizing natural deduction
• Natural deduction

zbMATH Keywords

Curry's paradox

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• How to be really contraction free
• Logical paradoxes for many-valued systems
• Naïve comprehension and contracting implications
• Routes to triviality
• Curry's paradox in contractionless constructive logic
• Four paradoxes
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Extensions of intuitionistic logic without the deduction theorem: some simple examples
• Title not available (Why is that?)
• Title not available (Why is that?)
• Proof and Paradox
• On Paradox without Self-Reference

Cited In (15)

• Curry's paradox in contractionless constructive logic
• Variations on a theme of Curry
• Computer implication and the Curry paradox
• Title not available (Why is that?)
• A pragmatic dissolution of Curry's paradox
• Stability and paradox in algorithmic logic
• Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs
• Curry and Fitch on paradox
• Natural implication and modus ponens principle
• Natural deduction based set theories: a new resolution of the old paradoxes
• Title not available (Why is that?)
• Paraconsistency: Towards a tentative interpretation
• Title not available (Why is that?)
• Title not available (Why is that?)
• What is a relevant connective?

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q877241)