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

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

Cited in

(9)

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

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)