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