Ayhan, S.; Wansing, H. On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\). B Sect Log 2023, 52, 187-237.