On the definition of the classical connectives and quantifiers

Gilles Dowek 1, *
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
Liste complète des métadonnées

Littérature citée [4 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01252221
Contributeur : Gilles Dowek <>
Soumis le : jeudi 7 janvier 2016 - 12:48:09
Dernière modification le : lundi 15 février 2016 - 09:47:14
Document(s) archivé(s) le : vendredi 8 avril 2016 - 13:22:00

Fichiers

classical.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01252221, version 1
  • ARXIV : 1601.01782

Collections

Citation

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〉

Partager

Métriques

Consultations de la notice

219

Téléchargements de fichiers

44