Some Advances in the Combinatory Theory of Quantification

DOI10.1073/PNAS.28.12.564MaRDI QIDQ5834322zbMATH OpenOpenAlexWikidataFDO

Authors Haskell B. Curry

Publication date 1942

Published in Proceedings of the National Academy of Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1073/pnas.28.12.564

zbMATH Keywords

foundations, philosophy, logic

Cited in

(2)

• Systems of illative combinatory logic complete for first-order propositional and predicate calculus
• The search for a reduction in combinatory logic equivalent to \(\alpha\beta\)-reduction

This page was built for publication: Some Advances in the Combinatory Theory of Quantification

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