S. Ayhan, “Introduction: Bilateralism and Proof-Theoretic Semantics (Part II)”, B Sect Log, vol. 52, no. 3, pp. 267–274, Sep. 2023.