Olá Adolfo, O Mamede a alguns colegas (na época, do CTI de Campinas) haviam implementado em PROLOG uma versão do nosso método de tablôs de 1989/1990, uma Dissertação de Mestrado abortada na UNICAMP e que circulou em cópias xerox.
Acabou publicada em 1992 como: W. A. Carnielli and M. Lima-Marques. Reasoning under inconsistent knowledge. Journal of Applied Non-Classical Logics 2(1):49–79, 1992 Talvez ele tenha os códigos, abs, Walter > > 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 +++++++++++++++++++++++++++++++++++++++++++++++++ Walter Carnielli Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP P.O. Box 6133 13083-970 Campinas -SP, Brazil Phone: (+55) (19) 3788-6519 Fax: (+55) (19) 3289-3269 e-mail: [email protected] Website: http://www.cle.unicamp.br/prof/carnielli _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
