Advances in Proof-Theoretic Semantics English[eng] Subjects--Topical Terms: Logic||Mathematical Logic and Foundations||Mathematical Logic and Formal Languages