Ayhan, Sara, and Heinrich Wansing. β€œOn Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\)”. Bulletin of the Section of Logic 52, no. 2 (July 18, 2023): 187–237. Accessed March 30, 2025. https://czasopisma.uni.lodz.pl/bulletin/article/view/14910.