The combinatory foundations of mathematical logic

DOI10.2307/2266302MaRDI QIDQ5834321zbMATH OpenOpenAlexFDO

Authors Haskell B. Curry

Publication date 1942

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2266302

zbMATH Keywords

foundations, philosophy, logic

Cited in

(11)

• From constructivism to computer science
• Routes to triviality
• Curry's paradox, generalized modus ponens axiom and depth relevance
• Blocking the routes to triviality with depth relevance
• Logic of subtyping
• Bunder's paradox
• Principal type-schemes and condensed detachment
• Extending the Curry-Howard interpretation to linear, relevant and other resource logics
• Systems of illative combinatory logic complete for first-order propositional and predicate calculus
• Why Sets?
• On modal logics of partial recursive functions

This page was built for publication: The combinatory foundations of mathematical logic

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