Argomenti di tesi proposti dal docente.
Ultime tesi seguite dal docente
Tesi di Laurea
- Calcolo dei Sequenti per Logiche Epistemiche con quantificazione sugli agenti
- Implicazione e connessività. Un calcolo di sequenti per PrC e una indagine su Aristotele connessivo
- Specie come Individui. Una discussione filosofica nelle scienze biologiche
- UN CALCOLO DEI SEQUENTI ETICHETTATO PER LA LOGICA PrC: Negazione come cancellazione e logica connessiva
Tesi di Laurea Magistrale
- Assioma di scelta, forcing e misura di Lebesgue
- Casualità algoritmica e dimensione effettiva.
