Logic as Mathematical Science

DOI10.4288/jafpos1956.2.131zbMath0108.00104OpenAlexW2075640846MaRDI QIDQ3843597

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)

Related Items

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 ⋮ The Better Bubbling Lemma