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

DOI10.1090/S0002-9904-1939-06962-0zbMATH Open0020.33701MaRDI QIDQ5772797FDOQ5772797

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)