Advances in proof-theoretic semantics. ([2016])