S. Ayhan, “Comparing Sense and Denotation in Bilateralist Proof Systems for Proofs and Refutations”, B Sect Log, vol. 54, no. 1, pp. 23–58, May 2025, doi: 10.18778/0138-0680.2025.03.