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

DOI10.1090/S0002-9904-1939-06962-0zbMath0020.33701MaRDI QIDQ5772797

Haskell B. Curry

Publication date: 1939

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

zbMATH Keywords

Foundations, philosophy, logic

Related Items

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