Ayhan, Sara, and Heinrich Wansing. “On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\)”.
Bulletin of the Section of Logic
, vol. 52, no. 2, July 2023, pp. 187-3, doi:10.18778/0138-0680.2023.18.