S. Ayhan and H. Wansing, “On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\)”, B Sect Log, vol. 52, no. 2, pp. 187–237, Jul. 2023.