Advances in Proof-Theoretic Semantics (Trends in Logic)