Corsi anno accademico 2025/26
Quest’anno le pagine dei miei corsi sono disponibili sul sito di e-learning dell’Università degli Studi di Salerno ai seguenti link:
Algebra Universale e Teoria delle Categorie
Argomenti tesi (triennale o magistrale)
Ecco una lista di possibili temi per una tesi in matematica. Ovviamente questi sono solo suggerimenti, sono sempre felice di approfondire proposte degli studenti:
Laurea Triennale
- Logiche a più valori e loro semantiche algebriche (in particolare logiche basate su t-norme: Lukasiewicz, Gödel-Dummet o prodotto)
- Funzioni ricorsive e problemi indecidibili
- Logica intuizionista e costruttivismo
- Logica modale e ai modelli di Kripke
- Rappresentazioni geometriche della logica: le dualità di Stone, Priestley, Esakia, etc.
- Modelli, teorie e soddisfacibilità: una introduzione alla teoria dei modelli
- Computabilità, indecidibilità e limiti della formalizzazione
- Dimostrazioni e algoritmi: la corrispondenza Curry–Howard.
- Il teorema di Lindstrom
- Il concetto di spazio in matematica
Laurea Magistrale
- Poliedri e triangolazioni: dalla logica di Łukasiewicz alla geometria PL
- Logica e probabilità: ragionare con l’incertezza
- Il teorema di Birkhoff in teoria delle categorie
- Teoria dei modelli per logiche non classiche
- La logica interna dei topos elementari
- Categorie e teoria dei tipi
- Categorie regolari e logiche coerenti
- Modelli algebrici della probabilità soggettiva
- Logica e teoria dell’informazione: dall’entropia alla conoscenza incerta
- Coalgebre e logica modale
- La dualità di Pontryagin
- La categoria degli spazi affini
- Logica e quantum: contestualità tramite le categorie
- Il Topos di Banach-Mazur
Unification in Lukasiewicz logic with a finite number of variables
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 of unification types in terms of projective objects, the categorical duality between finitely presented MV-algebras and rational polyhedra, and a homotopy-theoretic argument.
Workshop on “Geometry and non-classical logics”
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 within the EU-funded project SYSMICS.
Further information can be found at http://logica.dipmat.unisa.it/sysmics/geoNonLogic/
The Twelfth International Tbilisi Symposium on Language, Logic and Computation
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: https://easychair.org/conferences/?conf=tbillc2017. Submission deadline: 15 March 2017.
Tutorials:
Language: Jakub Szymanik (University of Amsterdam)
Logic: Sam van Gool (City College of New York)
Computation: Ana Sokolova (University of Salzburg)
Invited speakers:
Language:
Gemma Boleda (Universitat Pompeu Fabra)
Ruth Kempson (King’s College, London)
Logic:
Alexander Kurz (University of Leicester)
Eric Pacuit (University of Maryland)
Computation:
Dexter Kozen (Cornell University)
Alex Simpson (University of Ljubljana)
Further information at http://events.illc.uva.nl/Tbilisi/Tbilisi2017/
