Seminario tenuto da Peter Schuster nell'ambito di DAReLOGICA
Data: 21 GENNAIO 2025 dalle 11:00 alle 13:00
Luogo: Aula Filopanti, Viale Quirico Filopanti 5, Bologna
Organizzato da: Melissa Antonelli, Guido Gherardi, Eugenio Orlandelli
A simple criterion for the validity of an abstract Glivenko master theorem facilitates to instantiate the latter not only in conventional contexts such as Kuroda's version for first-order predicate logic but always when an axiom, such as stability, is added to a basic provability relation.
Based on joint work with Giulio Fellin and Sara Negri.
