Obrigado por complementar as informações do meu email anterior, Walter. > Interessantemente, na versão do Arxiv eles se referem bastante ao > "influential" artigo de Alan Bundy, > > Bundy, A. A Science of Reasoning, in `Computational Logic: Essays in Honor > of Alan Robinson', eds Lassez J-L & Plotkin, G., MIT Press, pp 178-198, > 1991.
A propósito, o "extended abstract" do Alan Bundy pode ser encontrado a partir da página dele: http://www.research.ed.ac.uk/portal/files/412469/A_Science_of_Reasoning.pdf Segundo o Google Scholar, o artigo conta atualmente 175 citações. O artiguinho termina com uma "Personal Note" interessante: "For many years I have regarded myself as a researcher in automatic theorem proving. However, by analysing the methodology I have pursued in practice, I now realise that my real motivation is the building of a science of reasoning in the form outlined above. Now that I have identified, explicitly, the science I have been implicitly engaged in for the last fifteen years, I intend to pursue it with renewed vigour. I invite you to join me." JM -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjXhMX4kSkRb44-Fbz-m0mFoG0m_81pgUrZZrozLg18LQ%40mail.gmail.com.