Logic as Mathematical Science

DOI10.4288/JAFPOS1956.2.131MaRDI QIDQ3843597zbMATHOpenAlexFDO

Authors Haskell B. Curry

Publication date 1963

Published in Annals of the Japan Association for Philosophy of Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4288/jafpos1956.2.131

zbMATH Keywords

philosophy and foundations of mathematics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Philosophy of mathematics (00A30)

Cited in

(9)

• The better bubbling lemma
• Logic and mathematics
• A Representation Theory for Prime and Implicative Semilattices
• Injective and Projective Heyting Algebras
• Implicative Semi-Lattices
• Peirce's rule in a full natural deduction system
• Implicative Homomorphisms with Finite Ranges
• Identities in Implicative Semilattices
• scientific article; zbMATH DE number 7307082 (Why is no real title available?)

This page was built for publication: Logic as Mathematical Science

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