Quest’anno le pagine dei miei corsi sono disponibili sul sito di e-learning dell’Università degli Studi di Salerno ai seguenti link: Logica Matematica Fondamenti della Matematica Algebra Universale e Teoria delle Categorie
Ecco una lista di possibili temi per una tesi in matematica. Ovviamente questi sono solo suggerimenti, sono sempre felice di approfondire proposte degli studenti. In questo documento ho raccolto alcuni consigli utili per la scrittura della tesi. Laurea Triennale Laurea…
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…
I am happy to announce that we will host a workshop on “Geometry and non-classical logics” at the campus of the University of Salerno, from the 5th to the 8th of September. The workshop is one of the events planned…
The Twelfth International Tbilisi Symposium on Language, Logic and Computation will be held on 18-22 September 2017 in Kakheti, Georgia. The Programme Committee invites submissions for contributions on all aspects of language, logic and computation: Submission deadline: 15 March 2017. Tutorials: Language: Jakub Szymanik…