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
Pré-Publication, Document De Travail Année : 2013

On the definition of the classical connectives and quantifiers

Gilles Dowek
Deduction modulo, interopérabilité et démonstration automatique

Résumé

This paper embeds classical logic into constructive logic, in a homomorphic way, by providing an explicit definition of the classical connectives and quantifiers.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
classical.pdf (207.36 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-00919437

Soumis le : lundi 16 décembre 2013-17:30:25

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

Archivage à long terme le : samedi 8 avril 2017-07:11:29

Télécharger pour visualiser

Dates et versions

hal-00919437 , version 1 (16-12-2013)

Identifiants

  • HAL Id : hal-00919437 , version 1

Citer

Gilles Dowek. On the definition of the classical connectives and quantifiers. 2013. ⟨hal-00919437⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA2
65 Consultations
54 Téléchargements

Partager

Gmail Facebook X LinkedIn More