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

Venue: The event will take place online through the ZOOM platform. To get the access codes please contact the secretary office (dept.math [at] unitn.it)

Ore: 15.00 

Speaker:

• 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.

Contact person: Roberto Zunino