S. Ayhan, “Introduction: Bilateralism and Proof-Theoretic Semantics (Part I)”, B Sect Log, vol. 52, no. 2, pp. 101–108, Jun. 2023.