Mathematical Logic in Padua

home | laurea theses

Laurea theses

  • M. Donolato: "Prove costruttive di completezza per la logica intuizionistica", Tesi di laurea in matematica (2005), advisor: Giovanni Sambin

  • D. Macedonio: "Semantica relazionale per la logica di base"
    Tesi di laurea in matematica (2001), advisor: Giovanni Sambin.

  • G. Trentinaglia: "Relazioni di entailment e problemi di rappresentazione universale"
    Tesi di laurea in matematica (2001), advisor: Giovanni Sambin.

  • S. De Paoli: "La rinascita della logica in Italia nella seconda metà del XX secolo"
    Tesi di laurea in matematica (2000), advisor: Giovanni Sambin.

  • A. Mognon: "Semantiche algebriche per la logica di base e le sue estensioni"
    Tesi di laurea in matematica (2000), advisor: Giovanni Sambin.

  • N. Granà: "Ricerche in teoria della computazione e della dimostrazione per la logica di base"
    Tesi di laurea in matematica (1999), advisor: Giovanni Sambin.

  • N. Gambino: "Types and Sets: a study on the jump to full impredicativity" Tesi di laurea in matematica (1999), advisor: Silvio Valentini.

  • B. Solito: "Gli operatori di interno e di chiusura da un punto di vista costruttivo"
    Tesi di laurea in matematica (1998), advisor: Giovanni Sambin.

  • F. Guidi: "Il terzo teorema di Gödel-Kreisel nella teoria dei tipi di Martin-Löf"
    Tesi di laurea in matematica (1998), advisor: Giovanni Sambin.

  • G. Curi: "Analisi costruttiva nella teoria dei tipi: topologie formali con diametro e distanza"
    Tesi di laurea in matematica (1998), advisor: Giovanni Sambin.

  • C. Faggian: "Teorema di eliminazione del taglio in basic logic e nelle logiche quantistiche"
    Tesi di laurea in matematica (1996), advisor: Giovanni Sambin.

  • V. Capretta: "Analisi costruttiva della normalizzazione del System F di Girard"
    Tesi di laurea in matematica (1996), advisor: Silvio Valentini.

  • S. Sadocco: "Topologie formali sull'insieme delle formule"
    Tesi di laurea in matematica (1996), advisor: Giovanni Sambin.

  • D. Soravia: "Numeri reali e analisi costruttiva nel contesto delle topologie formali"
    Tesi di laurea in matematica (1995), advisor: Giovanni Sambin.

  • S. Gebellato: "Precoperture, modalità e operatori di chiusura in un topos"
    Tesi di laurea in matematica (1994), advisor: Giovanni Sambin.

  • M.E. Maietti: "Semantica categoriale per il lambda-calcolo polimorfo"
    Tesi di laurea in matematica (1992), advisor: Silvio Valentini.

  • S. Negri: "Semantica categoriale per la logica lineare"
    Tesi di laurea in matematica (1991), advisor: Giovanni Sambin.

  • G. Battilotti: "Rappresentazione delle strutture algebriche complete corrispondenti alla logica lineare e intuizionista"
    Tesi di laurea in matematica (1990), advisor: Giovanni Sambin.