Foi mencionado aqui recentemente, pelo Anderson. Achei que valeria a pena então mencionar este artigo recentemente disponibilizado online (a ser publicado em breve):
Isomorphic formulae in classical propositional logic por Kosta Došen, Zoran Petrić Mathematical Logic Quarterly http://onlinelibrary.wiley.com/doi/10.1002/malq.201020020/abstract;jsessionid=EFE50CE671B482900D8F7D63180FA8D6.d04t02 Há uma versão disponível no arXiv: http://arxiv.org/PS_cache/arxiv/pdf/0912/0912.1271v3.pdf O tema é exatamente a "identidade entre demonstrações", ou "igualdade entre deduções" (do ponto de vista categórico). JM -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
