Schroeder-Heister, Peter
(2022)
This manuscript of 2003 describes and compares two basic approaches to what the author has called “proof-theoretic semantics”. The “standard” approach, which is mainly due to Dummett and Prawitz, attempts to give a semantics ...