On the definition of the classical connectives and quantifiers - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Preprints, Working Papers, ... Year :

On the definition of the classical connectives and quantifiers

Abstract

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

Dates and versions

hal-00919437 , version 1 (16-12-2013)

Identifiers

  • HAL Id : hal-00919437 , version 1

Cite

Gilles Dowek. On the definition of the classical connectives and quantifiers. 2013. ⟨hal-00919437⟩

Collections

INRIA INRIA2
63 View
49 Download

Share

Gmail Facebook Twitter LinkedIn More