Return to Article Details Comparing Sense and Denotation in Bilateralist Proof Systems for Proofs and Refutations Download Download PDF