A short note on Gentzen´s LJ and NJ systems isomorphism
Carregando...
Data
2006
Autores
Título da Revista
ISSN da Revista
Título de Volume
Editor
Resumo
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.
Descrição
Palavras-chave
Sequent calculus, Natural deduction, Intuitionism, Negation
Citação
SANZ, 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.