Argomenti di tesi proposti dal docente.
Ultime tesi seguite dal docente
Tesi di Laurea
- Descrizioni Definite e l'Operatore ι in Logica formale: Una Teoria Senza Cut
- Un calcolo dei sequenti per le logiche rilevanti
- Un calcolo di sequenti etichettato per il futuro lineare discreto
- Un calcolo di sequenti etichettato per la logica inquisitiva
