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
- 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
