Oi, Adolfo.
Na minha página está a minha dissertação de mestrado, na qual há provadores por tablôs para C1 e C1*. Está na seção Publicações, em www.inf.ufsc.br/~arthur. O código é em LISP, Mu-Lisp, versão de 1988. Há vários anos eu perdi os arquivos, por vírus. A versão digitalizada que eu possuo é um resultado de escaneamento da versão impressa. 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 Blog: http://professoradolfo.blogspot.com ==========================================
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
