Proof-theoretic semantics - Other languages