|
|
Centre for Logic, Epistemology and the History of Science (CLE) |
|
|
|
|
Rules and Instructions | Sites Pointing to CLE e-Prints |
|
ISSN 1519-9681 |
|
ISSN 1519-9614 |
|
|
||
| . | ||
|
A Short Note on Gentzen's
LJ and NJ Systems Isomorphism |
||
|
||
|
|
.
|
|
|
|
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. |
|
|
|
|