On the definition of the classical connectives and quantifiers - Inria - Institut national de recherche en sciences et technologies du numérique
Pré-Publication, Document De Travail Année : 2013

On the definition of the classical connectives and quantifiers

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.
Fichier principal
Vignette du fichier
classical.pdf (207.36 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

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⟩

Collections

INRIA INRIA2
74 Consultations
70 Téléchargements

Partager

More