On the definition of the classical connectives and quantifiers - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Chapitre D'ouvrage Année : 2015

On the definition of the classical connectives and quantifiers

Résumé

Classical logic is embedded into constructive logic, through a definition of the classical connectives and quantifiers in terms of the constructive ones.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
classical.pdf (94.32 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Gilles Dowek  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01252221

Soumis le : jeudi 7 janvier 2016-12:48:09

Dernière modification le : vendredi 21 janvier 2022-03:15:24

Archivage à long terme le : vendredi 8 avril 2016-13:22:00

Télécharger pour visualiser

Dates et versions

hal-01252221 , version 1 (07-01-2016)

Identifiants

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA2
88 Consultations
98 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More