A Note on Gentzen's LJ and NJ Systems Isomorphism

DOI10.1093/JIGPAL/JZM048zbMATH Open1147.03030OpenAlexW2106308060MaRDI QIDQ5437003FDOQ5437003

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

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

zbMATH Keywords

intuitionistic sequent calculusHaupsatznegation rules

Mathematics Subject Classification ID

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

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)