Seminario di Matteo Tesi, nell'ambito del ciclo "DAReLOGICA"
Data: 05 MAGGIO 2025 dalle 16:00 alle 18:00
Luogo: Aula A, via Azzo Gardino 23, Bologna
Tipo: DAMSLab | La Soffitta
A cura di Melissa Antonelli, Guido Gherardi, Eugenio Orlandelli
Relatore: Matteo Tesi
Negli ultimi trent'anni la ricerca in teoria della dimostrazione ha elaborato metodi per convertire assiomi in regole che, se aggiunte a un calcolo, ne preservano le proprietà strutturali. Nel corso del presente intervento ci soffermeremo sulla trasformazione di assiomi in regole per la logica intuizionistica. Da un lato confronteremo lo scenario costruttivo con quello classico evidenziandone le differenze. Dall'altro proporremo alcune soluzioni a problemi ed estensioni della metodologia.
