Oi Arthur, Obrigado. O link direto é http://wwwexe.inf.ufsc.br/~arthur/index.php?page=publicacoes/dissertacao&lang=pt, certo?
Dei uma olhada. O código está em LISP, no apêndice, e é para C_1*, que estende C_1. Você teria este código já pronto para ser executado (isto, como arquivos texto)? Grato mais uma vez, Adolfo ========================================== Adolfo Neto Departamento Acadêmico de Informática Universidade Tecnológica Federal do Paraná Fone: (41) 3310-4644 / Fax: (41) 3310-4646 Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Blog: http://professoradolfo.blogspot.com ========================================== 2009/3/6 Arthur Buchsbaum <[email protected]> > Oi, Adolfo. > > > > Na minha página está a minha dissertação de mestrado, na qual há provadores > por tablôs para C1 e C1*. > > > > Na seção “Publicações”, em > www.inf.ufsc.br/~arthur<http://WWW.inf.ufsc.br/%7Earthur> > . > > > > a) Arthur Buchsbaum > > > > *De:* [email protected] [mailto: > [email protected]] *Em nome de *Adolfo Neto > *Enviada em:* sexta-feira, 6 de março de 2009 15:32 > *Para:* [email protected] > *Assunto:* [Logica-l] Provador de Teoremas para C1, lógica paraconsistente > de Newton da Costa > > > > Olá, > > Alguém conhece algum provador de teoremas (que esteja disponível na > internet) para C1 (lógica paraconsistente do professor Newton da Costa)? > > Grato, > > Adolfo > ========================================== > Adolfo Neto > Departamento Acadêmico de Informática > Universidade Tecnológica Federal do Paraná > Fone: (41) 3310-4644 / Fax: (41) 3310-4646 > Web: > http://www.dainf.ct.utfpr.edu.br/~adolfo<http://www.dainf.ct.utfpr.edu.br/%7Eadolfo> > Blog: http://professoradolfo.blogspot.com > ========================================== >
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
