A note on the reduction of Gentzen’s calculus 𝐿𝐽

DOI10.1090/S0002-9904-1939-06962-0MaRDI QIDQ5772797zbMATH OpenFDO

Authors Haskell B. Curry

Publication date 1939

Published in Bulletin of the American Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

Foundations, philosophy, logic

Cited in

(6)

• Some Remarks on Evaluations of the Primitive Logic
• Separability of normalizable superintuitionistic propositional logics
• An alternative normalization of the implicative fragment of classical logic
• The separation theorem of intuitionist propositional calculus
• Key notions of Tarski's methodology of deductive systems
• Head or tail? de morgan on the bounds of traditional logic

This page was built for publication: A note on the reduction of Gentzen’s calculus 𝐿𝐽

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