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 : mardi 17 avril 2018 - 11:30:05
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

146

Téléchargements de fichiers

77