Connections with proof-theoretic semantics