Papers tagged proof theoretic semantics