The combinatory foundations of mathematical logic

DOI10.2307/2266302zbMath0060.02207OpenAlexW1979324125MaRDI QIDQ5834321

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

Related Items

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