Abstract : Classical logic is embedded into constructive logic, through a definition of the classical connectives and quantifiers in terms of the constructive ones.
Type de document :
Chapitre d'ouvrage
Edward Hermann Haeusler; Wagner de Campos Sanz; Bruno Lopes. Why is this a Proof?, Festschrift for Luiz Carlos Pereira , College Publications, 2015
https://hal.inria.fr/hal-01252221
Contributeur : Gilles Dowek
<>
Soumis le : jeudi 7 janvier 2016 - 12:48:09
Dernière modification le : mardi 17 avril 2018 - 11:31:21
Document(s) archivé(s) le : vendredi 8 avril 2016 - 13:22:00
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〉
