Oi Bruno. Sim, a tese do Adolfo Neto é exatamente sobre provadores de teoremas para lógicas paraconsistentes e existe software livre para realizar esta tarefa em diversas lógicas paraconsistentes proposicionais.
Ninguém melhor que o próprio Adolfo para falar do assunto. []s Marcelo 2010/8/12 Bruno Woltzenlogel Paleo <[email protected]>: > Olá, > > Aproveitando a discussão sobre lógicas paraconsistentes, gostaria de fazer > algumas perguntas simples (e provavelmente até óbvias pra quem é da área) aos > lógicos paraconsistentistas (o adjetivo é esse mesmo?) de plantão: > > Há demonstradores automáticos de teoremas (automated theorem provers) para > lógicas paraconsistentes? Se sim, onde posso obtê-los? Eles já foram usados > em aplicações concretas (e.g. reasoning with inconsistent data)? > > Obrigado por qualquer informação! > > Bruno Woltzenlogel Paleo > http://www.logic.at/people/bruno/ > http://www.loria.fr/~woltzenl/ > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Marcelo Finger Departamento de Ciencia da Computacao Instituto de Matematica e Estatistica Universidade de Sao Paulo Rua do Matao, 1010 05508-090 Sao Paulo, SP Brazil Tel: +55 11 3091-9688, 3091-6135, 3091-6134 (fax) http://www.ime.usp.br/~mfinger _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
