Proof Society 2025

Contributed

A survey of two strands in proof-theoretic semantics

Leonardo Ceragioli1 , Francesco Montesi2 , Antonio Piccolomini d'Aragona3
1University of Milan  2University of Naples Federico II  3Eberhard Karl University of Tübingen

on  Thu, 11:10in  Class B (Zaal 1.07)for  20min

Download the abstract.

 Overview  Program