Contributed
On the non-classical, non-monotonic and uniform proof-theoretic validity of Weak Excluded Middle
Antonio Piccolomini d'Aragona
Eberhard Karl University of Tübingen
Antonio Piccolomini d'Aragona
Eberhard Karl University of Tübingen