Ayhan, S. Comparing Sense and Denotation in Bilateralist Proof Systems for Proofs and Refutations. B Sect Log 2025, 54 (1), 23-58. https://doi.org/10.18778/0138-0680.2025.03.