The Peirce translation (Q408162)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The Peirce translation |
scientific article |
Statements
The Peirce translation (English)
0 references
29 March 2012
0 references
Peirce law
0 references
negative translation
0 references
countable choice
0 references
dependent choice
0 references
functional interpretation
0 references
selection functions
0 references
computational extraction of witnesses from proofs in classical analysis
0 references
minimal logic
0 references
modified realizability
0 references