The Peirce Translation and the Double Negation Shift
type: Item
instance of: scholarly article
title: The Peirce Translation and the Double Negation Shift
zbMATH Open document ID: 1251.03065
DOI: 10.1007/978-3-642-13962-8_17
author: Martín Escardo
author: Paulo Oliva
published in: Programs, Proofs, Processes
publication date: 2010-07-29T00:00:00Z
Mathematics Subject Classification ID: 03F03
Mathematics Subject Classification ID: 03F07
Mathematics Subject Classification ID: 03F10
zbMATH DE Number: 5762742
zbMATH Keywords: selection functions
zbMATH Keywords: computational extraction of witnesses from proofs in classical analysis
zbMATH Keywords: minimal logic
zbMATH Keywords: Peirce translation
zbMATH Keywords: double-negation shift
zbMATH Keywords: countable choice
zbMATH Keywords: dependent choice
zbMATH Keywords: negative translation
zbMATH Keywords: functional interpretation
zbMATH Keywords: modified realizability
MaRDI profile type: MaRDI publication profile
full work available at URL: 978-3-642-13962-8 17
OpenAlex ID: W1517302412
description: scientific article