> Alguém sabe se consigo encontrar em algum livro/artigo uma tabela parecida > com o rascunho abaixo: > > http://spreadsheets.google.com/ccc?key=0Ah21LTU3quDQdEpqVU4xYTdDZUN0O > Up5ZWV4MjVUS3c&hl=pt_BR > > incluindo as lógicas mais usadas (em computação, matemática e filosofia)?
Não tenho uma resposta melhor para dar a esta pergunta, mas aproveito para fazer notar que a ESSLLI deste ano tem diversos cursos (http://esslli2010cph.info/?cat=11) ligados à complexidade computacional, em particular um sobre "Proof Complexity of Non-Classical Logics" (http://www.informatik.uni-bremen.de/~okutz/esslli10/). Talvez você possa extrair daí uma contribuição para a sua tabela, Adolfo. JM -- http://sequiturquodlibet.googlepages.com/ (in absentia, post-doc in "Noricum") _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
