MASSA: modal correspondence via proof theory
Lunedì 14 Aprile 2025
14:00
Aula Bianchi Lettere, Palazzo della Carovana
Relatore
-
Andrea De DomenicoVrije Universiteit Amsterdam
Andrea De Domenico, Vrije Universiteit Amsterdam
MASSA: modal correspondence via proof theory
MUR_PRIN22_PIAZZA - Proof and understanding in mathematics (PUMa). Purity of methods, simplicity, and explanation in mathematical reasoning. - 2022TYNY32 – CUP: E53D23009000006