A short note on Gentzen´s LJ and NJ systems isomorphism

Página do item simplificado
dc.creatorSanz, Wagner de Campos
dc.date.accessioned2020-01-15T14:54:59Z
dc.date.available2020-01-15T14:54:59Z
dc.date.issued2006
dc.description.abstractWe 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.pt_BR
dc.identifier.citationSANZ, 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.pt_BR
dc.identifier.issne- 1519-9681
dc.identifier.urihttp://repositorio.bc.ufg.br/handle/ri/18517
dc.language.isoengpt_BR
dc.publisher.countryBrasilpt_BR
dc.publisher.departmentFaculdade de Filosofia - FAFIL (RG)pt_BR
dc.rightsAcesso Abertopt_BR
dc.subjectSequent calculuspt_BR
dc.subjectNatural deductionpt_BR
dc.subjectIntuitionismpt_BR
dc.subjectNegationpt_BR
dc.titleA short note on Gentzen´s LJ and NJ systems isomorphismpt_BR
dc.typeArtigopt_BR

Arquivos

Pacote Original
Agora exibindo 1 - 1 de 1
Imagem de Miniatura
Nome:
Artigo - Wagner de Campos Sanz - 2006.pdf
Tamanho:
19.43 KB
Formato:
Adobe Portable Document Format
Baixar
Licença do Pacote
Agora exibindo 1 - 1 de 1
Nenhuma Miniatura disponível
Nome:
license.txt
Tamanho:
1.71 KB
Formato:
Item-specific license agreed upon to submission
Descrição:
Baixar

Coleções

FAFIL - Artigos publicados em periódicos