The Peirce translation
type: Item
instance of: scholarly article
title: The Peirce translation
zbMATH Open document ID: 1251.03068
author: Paulo Oliva
author: Martín Escardo
published in: Annals of Pure and Applied Logic
publication date: 2012-03-29T00:00:00Z
Mathematics Subject Classification ID: 03F10
Mathematics Subject Classification ID: 03F03
Mathematics Subject Classification ID: 03F07
Mathematics Subject Classification ID: 03F35
zbMATH DE Number: 6019356
zbMATH Keywords: Peirce law
zbMATH Keywords: negative translation
zbMATH Keywords: countable choice
zbMATH Keywords: dependent choice
zbMATH Keywords: functional interpretation
zbMATH Keywords: selection functions
zbMATH Keywords: computational extraction of witnesses from proofs in classical analysis
zbMATH Keywords: minimal logic
zbMATH Keywords: modified realizability
MaRDI profile type: Publication
full work available at URL: j.apal.2011.11.002
OpenAlex ID: W2047094534
cites work: The Russell-Prawitz modality
cites work: On the computational content of the axiom of choice
cites work: Q5702662
cites work: A proof of strong normalisation using domain theory
cites work: Exhaustible sets in higher-type computation
cites work: Computational Interpretations of Analysis via Products of Selection Functions
cites work: The Peirce Translation and the Double Negation Shift
cites work: Selection functions, bar recursion and backward induction
cites work: Sequential games and optimal strategies
cites work: Q4179016
cites work: Q3727946
cites work: Programs from proofs using classical dependent choice
cites work: Q3395521
cites work: Q5519134
cites work: Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
cites work: Q4499084
DOI: 10.1016/J.APAL.2011.11.002
description: scientific article; zbMATH DE number 6019356