Seminario di Paolo Maffezioli, nell'ambito del ciclo di DAReLOGICA
Data: 04 SETTEMBRE 2025 dalle 12:00 alle 13:30
Luogo: Sala Rossa, Via Azzo Gardino 23, Bologna
A cura di: Melissa Antonelli, Guido Gherardi, Eugenio Orlandelli
Da un punto di vista assiomatico, la logica stabile è un'estensione della logica intuizionista che si ottiene a partire da questa aggiungendo la legge di doppia negazione ristretta alle formule atomiche. Il seminario verterà su alcuni problemi aperti nell'ambito della teoria della dimostrazione per la logica stabile (calcoli di Gentzen multi-succedente e loro estensioni al primo ordine e con assiomi propri).
