> Alguem poderia me sugerir material sobre traducao de provas por tablos
> para provas em ded. natural?
Há muito material na literatura sobre tradução entre "tableaux e
resolução", ou "tableaux e sequentes", mas parece haver bem pouco
sobre "X e dedução natural" --- a menos que X seja a "lógica
intuicionista". (No caso específico da sua pergunta, a razão talvez
seja o fato do método de tableau ser muito mais *natural* do que a
dedução natural, para o caso clássico, como afirmou o Marcello
D'Agostino em seu artigo no Handbook of Tableau Methods.)
De todo modo, o único artigo que já vi referido (mas não conheço)
sobre este assunto saiu no TABLEAUX'99:
Tactics for Translation of Tableau in Natural Deduction
A. Avellone, M. Benini, U. Moscato
jm
--
My homepage:
http://sequiturquodlibet.googlepages.com/
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
