2 papers
cs.LO2022
Proofs and Refutations for Intuitionistic and Second-Order Logic (Extended Version)
Pablo Barenbaum, Teodoro Freund
The lambda-PRK-calculus is a typed lambda-calculus that exploits the duality between the notions of proof and refutation to provide a computational interpretation for classical pro…
cs.LO2021
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…