Time for Curry

MaRDI QIDQ5099995zbMATH OpenFDO

Authors Jc Beall, David Ripley

Publication date 26 August 2022

zbMATH Keywords

contractionCurry's paradoxnon-normal worldsnon-normal timestemporal Curry paradox

Mathematics Subject Classification ID

Temporal logic (03B44) Other applications of logic (03B80)

Recommendations

• Natural deduction and Curry's paradox
• Variations on a theme of Curry
• External curries
• Curry's paradox and \(\omega \)-inconsistency
• A pragmatic dissolution of Curry's paradox

This page was built for publication: Time for Curry

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