Return to Article Details On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\) Download Download PDF