Zobrazeno 1 - 2
of 2
pro vyhledávání: '"CARVALHO, Ruan Vasconcelos Bezerra"'
Publikováno v:
Repositório Institucional da UFPEUniversidade Federal de PernambucoUFPE.
Submitted by Luiz Felipe Barbosa (luiz.fbabreu2@ufpe.br) on 2015-03-12T14:54:25Z No. of bitstreams: 2 Dissertacao Ruan Carvalho.pdf: 760651 bytes, checksum: 11973d9d0a63868703fa87f2c9daf83b (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e7
Externí odkaz:
https://repositorio.ufpe.br/handle/123456789/12419
Publikováno v:
Repositório Institucional da UFPE
Universidade Federal de Pernambuco (UFPE)
instacron:UFPE
Universidade Federal de Pernambuco (UFPE)
instacron:UFPE
Como verificar se uma prova clássica também é intuicionista? Em dedução natural basta não haver ocorrência da lei do terceiro excluído ou da eliminação da dupla negação, conforme proposto por Gentzen. No seu cálculo de sequentes o mesmo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::f821ced74469f3cc71fa88da6355adfc
https://repositorio.ufpe.br/handle/123456789/28009
https://repositorio.ufpe.br/handle/123456789/28009
