Algebre e Coalgebre per la logica modale

A partire dal 12 ottobre 2016, ogni mercoledì alle 16:30 nell’aula riunioni del Dipartimento di Matematica, il prof. Luca Spada e la dott.ssa Serafina Lapenta terranno un ciclo di seminari sul tema “Algebre e Coalgebre per la logica modale”.

Il testo di riferimento è il capitolo 6 dell’Handbook of Modal logic, “Algebras and Coalgebras” di Yde Venema.

Nel corso dei seminari si analizzerà l’approccio algebrico (tramite algebre di Boole con operatori) e coalgebrico (attraverso la teoria delle categorie) alla logica modale. E’ consigliabile avere familiarità con il calcolo proposizionale classico e l’algebra universale. Verranno utilizzate anche nozioni base di teoria delle categorie.

Gli interessati possono mandare una mail a slapenta@unisa.it per maggiori dettagli a riguardo.