Centre for Logic, Epistemology and the History of Science (CLE)

Main Page

Articles

Editorial Board

Rules and Instructions
Sites Pointing to CLE e-Prints

CLE e-Prints eletronic version
ISSN 1519-9681
CLE e-Prints printed version 
ISSN 1519-9614
.
Vol. 6(2), 2006 (Section Logic)
.
A Short Note on Gentzen's
LJ and NJ Systems Isomorphism


UNICAMP
UFG
.
Date Posted: April, 24th 2006
Download Files:  [PDF]

.
.Abstract
.
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.
.
.
BACK
.
© 2001 - Centro de Lógica, Epistemologia e História da Ciência - CLE

Last Update: April, 24th, 2006

Problems, sugestions and questions about this site?
Contact: emerson@cle.unicamp.br