Caros Colegas que usualmente falam sobre ATPs (Automatic Theorem Provers): (Elaine, João Marcos, Valéria, Marcelo Finger entre outros)
Existem ATPs bacanas para Lógicas Não-Clássicas? Para a Logica Intuicionista certamente existem, e sei (por trabalhar com tablôs, dedução natural, axiomaticas hilbertianas, etc) que certamente se podem adaptar Isabelle, Mizar, etc, para isso. Mas eu gostaria de saber se há ATPs que são 'nativos' de Lógicas Não-Clássicas,e o que eles já demonstraram (se é que...) de 'surpreendente'. Abraços, Walter -- ----------------------------------------------- Walter Carnielli Centre for Logic, Epistemology and the History of Science and Department of Philosophy State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Institutional e-mail: walter.carnie...@cle.unicamp.br Website: http://www.cle.unicamp.br/prof/carnielli -- 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/CA%2Bob58PkkSA0yZymLN0k0qhuP8OoUs-J3NHF63Y_essLAXbmyg%40mail.gmail.com.
