Ayhan, S. Comparing Sense and Denotation in Bilateralist Proof Systems for Proofs and Refutations. B Sect Log 2025, 54, 23-58.