2020-01-152020-01-152006SANZ, Wagner Campos. A short note on Gentzen´s LJ and NJ systems isomorphism. CLE e-Prints, Campinas, v. 6, n. 2, p. 1-3, 2006.e- 1519-9681http://repositorio.bc.ufg.br/handle/ri/18517We state a new intuitionistic sequent calculus and use it to clarify Gentzen´s NJ and LJ isomorphism, it contains new negation rules which are immediate readings of what seems to be good and sound natural deduction rules.engAcesso AbertoSequent calculusNatural deductionIntuitionismNegationArtigo