In this paper, coauthored with Marco Abbadini and Federica Di Stefano, we prove that the unification type of Lukasiewicz logic with a finite number of variables is either infinitary or nullary. To achieve this result we use Ghilardi’s categorical characterisation…
In questo articolo presentiamo alcuni temi di ricerca in logica a più valori. Anche se essi sono attuali e di grande interesse teorico, di certo essi non esauriscono le linee di ricerca nel settore delle logiche a più valori, neppure…
This year I will teach an introduttive course on Topos Theory. Topos theory has many different aspects. On the one hand, a topos is a generalisation of a topological space. On the other hand, every topos can be thought of…
Aggiornamenti Pubblicato (più sotto) il calendario aggiornato del tutorato. Visto l’alto numero di studenti frequentanti a partire da lunedì 8 ottobre le lezioni si terranno in aula P5. Descrizione del corso Prerequisiti È richiesta familiarità con gli argomenti di base di…
Descrizione del corso News Pubblicati gli esiti finale delle prove intermedie. La lezione di mercoledì 31 ottobre si terrà in Aula M (Edificio E2). Pubblicate le date delle prove intermedie, vedere qui sotto. È stato aggiornato l’orario del tutorato. Prerequisiti…