Abstract : Classical logic is embedded into constructive logic, through a definition of the classical connectives and quantifiers in terms of the constructive ones.
https://hal.inria.fr/hal-01252221 Contributor : Gilles DowekConnect in order to contact the contributor Submitted on : Thursday, January 7, 2016 - 12:48:09 PM Last modification on : Friday, January 21, 2022 - 3:15:24 AM Long-term archiving on: : Friday, April 8, 2016 - 1:22:00 PM
Gilles Dowek. On the definition of the classical connectives and quantifiers. Edward Hermann Haeusler; Wagner de Campos Sanz; Bruno Lopes. Why is this a Proof?, Festschrift for Luiz Carlos Pereira , College Publications, 2015. ⟨hal-01252221⟩