HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Book sections

On the definition of the classical connectives and quantifiers

Gilles Dowek 1, *
Abstract : Classical logic is embedded into constructive logic, through a definition of the classical connectives and quantifiers in terms of the constructive ones.
Document type :
Book sections
Complete list of metadata

Cited literature [4 references]  Display  Hide  Download

https://hal.inria.fr/hal-01252221
Contributor : Gilles Dowek Connect in order to contact the contributor
Submitted on : Thursday, January 7, 2016 - 12:48:09 PM
Last modification on : Friday, January 21, 2022 - 3:15:24 AM
Long-term archiving on: : Friday, April 8, 2016 - 1:22:00 PM

Files

classical.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01252221, version 1
  • ARXIV : 1601.01782

Collections

Citation

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⟩

Share

Metrics

Record views

85

Files downloads

93