Delimited control operators prove Double-negation Shift - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Annals of Pure and Applied Logic Année : 2012

Delimited control operators prove Double-negation Shift

Résumé

We propose an extension of minimal intuitionistic predicate logic, based on delimited control operators, that can derive the predicate-logic version of the Double-negation Shift schema, while preserving the disjunction and existence properties.
Fichier principal
Vignette du fichier
article.pdf (155.6 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-00647389 , version 1 (02-12-2011)

Identifiants

Citer

Danko Ilik. Delimited control operators prove Double-negation Shift. Annals of Pure and Applied Logic, 2012, Kurt Goedel Research Prize Fellowships 2010, 163 (11), pp.1549-1559. ⟨10.1016/j.apal.2011.12.008⟩. ⟨hal-00647389⟩
565 Consultations
383 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More