Dissertation topics suggested by the teacher.
Recent dissertations supervised by the teacher.
First cycle degree programmes dissertations
- Embedding della logica intuizionistica nella logica di Grzergorczyk. I calcoli di sequenti etichettati G3Grz e G3I e l’embedding di G3I in G3Grz.
- Logiche modali non-normali
- Un calcolo dei sequenti etichettati per la logica modale al primo ordine
