Marco Mondadori ( http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Mondadori:Marco.html<http://www.informatik.uni-trier.de/%7Eley/db/indices/a-tree/m/Mondadori:Marco.html>) morreu precocemente na Páscoa de 1999.
Leia um pouco sobre a vida dele em *Marco Mondadori Le passioni di un logico * <http://www.swif.uniba.it/lei/rassegna//021015a.htm>. Algumas de suas contribuições podem ser encontradas aqui: http://www.rescogitans.it/main.php?issueid=9§ionid=7 Uma de suas contribuições foi o sistema KE. Para conhecê-lo, leia The Taming of the Cut <http://www.rescogitans.it/main.php?articleid=126> di Marcello D'Agostino e Marco Mondadori In un articolo pubblicato nel 1994 sul *Journal of Logic and Computation*Marcello D'Agostino e Marco Mondadori sviluppano un tipo di calcolo logico (chiamato KE) destinato a occupare un posto stabile nella ricerca sulla deduzione automatica e successivamente utilizzato nella didattica della logica. Este sistema foi implementado em pelo menos quatro sistemas que conheço: MacKE: MacKE: Yet Another Proof Assistant & Automated Pedagogic Tool<http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.1048> leanKE: Theorem proving and model building with the calculus KE<http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.2054> WinKE: http://staff.science.uva.nl/~ulle/WinKE/papers.html<http://staff.science.uva.nl/%7Eulle/WinKE/papers.html> KEMS: http://www.dainf.ct.utfpr.edu.br/~adolfo/KEMS<http://www.dainf.ct.utfpr.edu.br/%7Eadolfo/KEMS> Marcello D'Agostino ( http://web.unife.it/utenti/marcello.dagostino/index.htm ) publicou vários artigos sobre o sistema KE. Outro trabalho seu foi publicado apenas três anos após sua morte: Logica e Politica (leia mais em http://www.fondazionemondadori.it/cms/culturaeditoriale/84/MarcoMondadori ) ========================================== Adolfo Neto Departamento Acadêmico de Informática Universidade Tecnológica Federal do Paraná Fone: (41) 3310-4644 / Fax: (41) 3310-4646 Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Blog: http://professoradolfo.blogspot.com ==========================================
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
