Estarei disponibilizando a versão zero do ASA-Tableaux
até o final do mês de outubro/2008.
Trata-se de um ambiente de suporte ao aluno
voltado exclusivamente para a construção de tableaux,
restritos ao cálculo proposicional clássico.
Tentarei implementar - futuramente - outros tipos de tableaux.
Estarão disponíveis:
STD c/ FM: Método Buchsbaum - Sistema de Tableaux Diretos, com fórmulas marcadas.
STD s/ FM: Método Buchsbaum - Sistema de Tableaux Diretos, sem fórmulas marcadas.
STI c/ FM: Método Smullyan - Analytic Tableaux, with signed formulas.
STI s/ FM: Método Smullyan - Analytic Tableaux, without signed formulas.
Nicoladelli
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
