Topic: GENERAL LOGIC
A Short Note on Gentzen's LJ and NJ Systems Isomorphism
By Wagner Sanz
We 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.
Keywords: Sequent Calculus, Natural Deduction, Intuitionism, Negation.
Source: CLE e-prints