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

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⟩

Collections

INRIA INRIA2
88 Consultations
98 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More