Logica algebrica e categoriale

L'obiettivo del corso è quello di introdurre alcuni degli strumenti fondamentali e avanzati degli approcci algebrici e categoriali alle logiche proposizionali e del primo ordine, classiche e non classiche.

Al termine del corso, gli studenti possederanno conoscenze approfondite di logica algebrica, tra cui

- teoria di base di strutture algebriche e ordinate
- costruzione di Lindenbaum-Tarski
- teoria della rappresentazione e risultati di completezza
- traduzione di proprietà logico-algebriche

e di logica categoriale, tra cui

- categorie sintattiche e risultati di completezza
- topos di Grothendieck e topos classificatori
- topos localici e il teorema di Deligne
- Logica interna