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

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
65 Consultations
54 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More