Equivalenza tra l'assiomatizzazione in stile Hilbert, la deduzione naturale e il calcolo dei sequenti di Gentzen nella logica proposizionale

Luogo: l'evento si terrà per via telematica attraverso collegamento alla piattaforma Zoom. Per informazioni sull'accesso contattare lo Staff di Dipartimento

Ore: 15.00 

Relatrice:

• Beatrice Degasperi (Studentessa Percorso di Eccellenza - Laurea triennale in Matematica)

Abstract:

Verranno presentati tre sistemi di prova per la logica proposizionale: l'assiomatizzazione in stile Hilbert, la deduzione naturale e il calcolo dei sequenti di Gentzen. Dopo, verrà dimostrata la loro equivalenza.

Seminario nell'ambito del Percorso di Eccellenza - Laurea Triennale.

Referente: Roberto Zunino