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
