Logic as Mathematical Science

DOI10.4288/JAFPOS1956.2.131zbMATH Open0108.00104OpenAlexW2075640846MaRDI QIDQ3843597FDOQ3843597

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
• Title not available (Why is that?)
• 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)