Um provador automático por tablôs para os cálculos C1 e C1* de Newton da Costa, de Arthur Buchsbaum

Um provador automático por tablôs para os cálculos C1 e C1* de Newton da Costa,
de Arthur Buchsbaum

Da Dissertação de Mestrado "Um Método Automático de Prova para a Lógica Paraconsistente", defendida em 1988.


Baixar (5 Kbytes)

Código recuperado em 2009, a partir da digitalização em djvu, graças ao professor Adolfo Neto e seus alunos, pois o trabalho original tinha sido atacado por vírus.
Fonte: http://wwwexe.inf.ufsc.br/~arthur/index.php?page=software&lang=pt