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
Posted by Tony Marmo
at 16:58 BST
Updated: Tuesday, 16 May 2006 17:02 BST
