Logic as Mathematical Science

DOI10.4288/JAFPOS1956.2.131MaRDI QIDQ3843597zbMATH OpenOpenAlexFDO

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)

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

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)