An automated prover by tableaux for calculi C1 and C1* of Newton da Costa, by Arthur Buchsbaum

From Master's Thesis "Um Método Automático de Prova para a Lógica Paraconsistente", presented in 1988.


Download (5 Kbytes)

Code recovered in 2009, from a djvu scanning, thanks to Professor Adolfo Neto and his students. The original work was attacked by virus.

Fonte: http://wwwexe.inf.ufsc.br/~arthur/index.php?page=software&lang=en