The Peirce translation and the double negation shift

DOI10.1007/978-3-642-13962-8_17zbMATH Open1251.03065OpenAlexW1517302412MaRDI QIDQ3576201FDOQ3576201

Authors: Martín Escardo, Paulo Oliva 

Publication date: 29 July 2010

Published in: Programs, Proofs, Processes (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-13962-8_17

Recommendations

• The Peirce translation
• scientific article; zbMATH DE number 6307933
• scientific article; zbMATH DE number 2185652
• Refinement of classical proofs for program extraction
• A New Translation for Semi-classical Theories — Backtracking without CPS

zbMATH Keywords

countable choiceminimal logiccomputational extraction of witnesses from proofs in classical analysisdependent choicefunctional interpretationmodified realizabilitynegative translationselection functionsdouble-negation shiftPeirce translation

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Structure of proofs (03F07) Functionals in proof theory (03F10)

Cited In (9)

• The Peirce translation
• Title not available (Why is that?)
• Negative Translations and Duality: Toward a Unified Approach
• Higher-order games with dependent types
• Delimited control operators prove double-negation shift
• Title not available (Why is that?)
• Double negation semantics for generalisations of Heyting algebras
• The Herbrand functional interpretation of the double negation shift
• Title not available (Why is that?)

This page was built for publication: The Peirce translation and the double negation shift

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3576201)