Oi, Valéria!
> mas eu nao concordo com Elaine qdo ela diz: >>Se considerarmos >>a lógica clássica proposicional, então não há muito a dizer: >>derivações normalizadas não utilizam lemas e são "minimais". Então eu >>diria que a complexidade é a mesma. > tem muita coisa a se dizer sim e a complexidade nao deve ser a mesma. > De um olhada no trabalho do Sam Buss em k-provabilidade usando os logic flow > graphs dele, > http://www.math.ucsd.edu/~sbuss/ResearchWeb/kprove/paper.pdf... O trabalho dele é em lógica de primeira ordem... E a dificuldade é justamente unificação. Continuo achando que no caso proposicional não há diferença, se considerarmos apenas provas normalizadas. > Mas concordo plenamente com Elaine que o assunto 'e fascinante!! :) Elaine. ------------------------------------------------- Elaine Pimentel - DMat/UFMG Address: Departamento de Matematica Universidade Federal de Minas Gerais Av Antonio Carlos, 6627 - C.P. 702 Pampulha - CEP 30.161-970 Belo Horizonte - Minas Gerais - Brazil Phone: 55 31 3409-5970/3409-5994 Fax: 55 31 3409-5692 htps://sites.google.com/site/elainepimentel/ -------------------------------------------------------- _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
