Delimited control operators prove Double-negation Shift

Annals of Pure and Applied Logic 163 (11):1549-1559 (2012)
  Copy   BIBTEX

Abstract

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

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2011.12.008

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The bounded functional interpretation of the double negation shift.Patrícia Engrácia & Fernando Ferreira - 2010 - Journal of Symbolic Logic 75 (2):759-773.
Contrariety and Subcontrariety: The Anatomy of Negation (with Special Reference to an Example of J.-Y. Béziau).Lloyd Humberstone - 2005 - Theoria 71 (3):241-262.
Solger's Notion of Sacrifice as Double Negation.Paolo Diego Bubbio - 2009 - Heythrop Journal 50 (2):206-214.
A variant of the double-negation translation.Jeremy Avigad - manuscript
Defining double negation elimination.G. Restall - 2000 - Logic Journal of the IGPL 8 (6):853-860.
Negation and negative concord in romance.Ivan A. Sag & Henriëtte De Swart - 2002 - Linguistics and Philosophy 25 (4):373-417.
An equational axiomatization of dynamic negation and relational composition.Marco Hollenberg - 1997 - Journal of Logic, Language and Information 6 (4):381-401.
The non-Boolean logic of natural language negation.Marie la Palme Reyes, John Macnamara, Gonzalo E. Reyes & And Houman Zolfaghari - 1994 - Philosophia Mathematica 2 (1):45-68.
On negative yes/no questions.Maribel Romero & Chung-Hye Han - 2004 - Linguistics and Philosophy 27 (5):609-658.
G. Frege sur la négation comme opposition sans force.Ali Benmakhlouf - 2001 - Revue de Métaphysique et de Morale 2 (2):7-19.
Structuralist logic: Implications, inferences, and consequences. [REVIEW]Arnold Koslow - 2007 - Logica Universalis 1 (1):167-181.

Analytics

Added to PP
2013-10-27

Downloads
34 (#459,882)

6 months
12 (#202,587)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Continuation-passing style models complete for intuitionistic logic.Danko Ilik - 2013 - Annals of Pure and Applied Logic 164 (6):651-662.

Add more citations

References found in this work

Constructivism in mathematics: an introduction.A. S. Troelstra - 1988 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.. Edited by D. van Dalen.

View all 15 references / Add more references