Oi a todos, Nossa colega Andrea Loparic (Departamento de Filosofia-FFLCH-USP) disponibilizou online um provador automático de teoremas da sua autoria para a lógica mimimal de Johanssen-Kolmogoroff, e para a lógica proposicional intuicionista. O endereço é:
http://www.interleft.com.br/aloparic/tableaux/ Ficam todos convidados para utilizá-lo e divulgá-lo. Um abraço, Marcelo _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l