A Note on Gentzen's LJ and NJ Systems Isomorphism

DOI10.1093/JIGPAL/JZM048MaRDI QIDQ5437003zbMATHOpenAlexFDO

Authors Wagner de Campos Sanz

Publication date 18 January 2008

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzm048

zbMATH Keywords

intuitionistic sequent calculusHaupsatznegation rules

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Recommendations

• scientific article; zbMATH DE number 440121
• Correspondences between gentzen and hilbert systems
• Publication:4864489
• scientific article; zbMATH DE number 5018640
• Finitely equivalential Gentzen systems associated with arbitrary finite algebras
• AN ANALYSIS OF THE RULES OF GENTZEN’SNJANDLJ
• A Gentzen system for involutive residuated lattices
• On the generalized J-homomorphism
• On some properties of Liénard systems
• On Gentzen Systems Associated with the Finite Linear MV-algebras

Cited in

(1)

• Does the implication elimination rule need a minor premise?

This page was built for publication: A Note on Gentzen's LJ and NJ Systems Isomorphism

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