A Note on Gentzen's LJ and NJ Systems Isomorphism

DOI10.1093/JIGPAL/JZM048zbMath1147.03030OpenAlexW2106308060MaRDI QIDQ5437003

Wagner de Campos Sanz

Publication date: 18 January 2008

Published in: Logic Journal of 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)

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