On the definition of the classical connectives and quantifiers

Abstract : This paper embeds classical logic into constructive logic, in a homomorphic way, by providing an explicit definition of the classical connectives and quantifiers.
Type de document :
Pré-publication, Document de travail
2013
Liste complète des métadonnées

https://hal.inria.fr/hal-00919437
Contributeur : Gilles Dowek <>
Soumis le : lundi 16 décembre 2013 - 17:30:25
Dernière modification le : mercredi 7 octobre 2015 - 01:16:01
Document(s) archivé(s) le : samedi 8 avril 2017 - 07:11:29

Fichier

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

Identifiants

  • HAL Id : hal-00919437, version 1

Collections

Citation

Gilles Dowek. On the definition of the classical connectives and quantifiers. 2013. 〈hal-00919437〉

Partager

Métriques

Consultations de la notice

141

Téléchargements de fichiers

72