Speaker
Antonio Piccolomini d'Aragona
Eberhard Karl University of Tübingen
Talks at this conference:
| Thu, 10:50 |
On the non-classical, non-monotonic and uniform proof-theoretic validity of Weak Excluded Middle
Contributed |
| Thu, 11:10 |
A survey of two strands in proof-theoretic semantics
Contributed |