A Constructive Logic with Classical Proofs and Refutations (Extended Version)

Pablo Barenbaum, Teodoro Freund

We study a conservative extension of classical propositional logic distinguishing between four modes of statement: a proposition may be affirmed or denied, and it may be strong or…