scientific article; zbMATH DE number 5081447

MaRDI QIDQ3413071zbMATH OpenFDO

Authors Katalin Bimbó

Publication date 3 January 2007

zbMATH Keywords

combinatory logicCurry's Paradoxset theory

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 63607
• Curry's paradox in contractionless constructive logic
• A paradox of Russell type
• A pragmatic dissolution of Curry's paradox
• Curry and Fitch on paradox
• Curry's paradox and the inclosure schema
• Curry's paradox and \(\omega \)-inconsistency
• Natural deduction and Curry's paradox
• Paradoxes
• scientific article; zbMATH DE number 2109802

Cited in

(10)

• A paradox of Russell type
• Curry's paradox in contractionless constructive logic
• What is a relevant connective?
• A pragmatic dissolution of Curry's paradox
• Abstraction in algorithmic logic
• scientific article; zbMATH DE number 4137752 (Why is no real title available?)
• Curry's paradox and \(\omega \)-inconsistency
• scientific article; zbMATH DE number 221552 (Why is no real title available?)
• Should the negated conditional entail its antecedent?
• Stability and paradox in algorithmic logic

This page was built for publication:

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