Pubblicazioni
Pubblicazioni nell'ambito della Ricerca Scientifico-Disciplinare:
Logica Matematica: Teoria della Dimostrazione, Provability Logic, Logiche Modali per la dimostrabilità; Logica Informazionale;
Logica Paraconsistente; Semantiche costruttive per la Logica di Ordine Superiore e la Teoria dei Tipi.
Dimostrazione Automatica, Intelligenza Artificiale. Applicazioni della Logica alla Teoria dei Giochi, all'Economia Teorica,
alla Rappresentazione della conoscenza. Applicazioni della Logica alle Scienze Cognitive.
Pubblicazioni nell'ambito della Ricerca Educativa e dell'Epistemologia dei saperi scientifici:
Epistemologia della Matematica e delle discipline scientifiche.
Progettazione curricolare per la scuola superiore. Metodologia della didattica della matematica e dei saperi scientifici.
Metodologia della didattica multidisciplinare. Metodologia e progettazione curricolare per la didattica delle competenze trasversali:
competenza razionale, competenza argomentativa.
Didattica della Logica come sapere trasversale.