Argomenti di tesi proposti dal docente.
Ultime tesi seguite dal docente
Tesi di Laurea
- 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
