10 anos sem Marco Mondadori

Marco Mondadori ( http://www.informatik.uni-trier.de/~ley/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. Algumas de suas contribuições podem ser encontradas aqui:

http://www.rescogitans.it/main.php?issueid=9&sectionid=7

Uma de suas contribuições (a principal para mim, pois usei em minha tese de Doutorado) foi o sistema KE. Para conhecê-lo, leia

The Taming of the Cut
	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

leanKE: Theorem proving and model building with the calculus KE

WinKE: http://staff.science.uva.nl/~ulle/WinKE/papers.html

KEMS: http://www.dainf.ct.utfpr.edu.br/~adolfo/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 )