Book Sections Year : 2015

On the definition of the classical connectives and quantifiers

Abstract

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
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

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
100 View
105 Download

Altmetric

Share

More