Dissertation topics suggested by the teacher.
Recent dissertations supervised by the teacher.
First cycle degree programmes dissertations
- Descrizioni Definite e l'Operatore ι in Logica formale: Una Teoria Senza Cut
- Embedding della logica intuizionistica nella logica di Grzergorczyk. I calcoli di sequenti etichettati G3Grz e G3I e l’embedding di G3I in G3Grz.
- 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
