Seminario di Matteo Tesi (SNS), nell'ambito di DAReLOGICA
Data: 21 OTTOBRE 2026 dalle 15:00 alle 17:00
Luogo: Aula C, Via Azzo Gardino 23, Bologna
Organizzato da: Eugenio Orlandelli
In collaborazione con: Guido Gherardi
Con: Matteo Tesi
Seminario di Matteo Tesi (SNS), nell’ambito del ciclo DAReLOGICA, dedicato ai calcoli dei sequenti misti per la logica dell’equilibrio, un approccio formale allo studio dei sistemi logici e delle loro proprietà.
