Arithmetical Completeness of the Intuitionistic Logic of Proofs (Q3094147)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Arithmetical Completeness of the Intuitionistic Logic of Proofs |
scientific article; zbMATH DE number 5961422
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Arithmetical Completeness of the Intuitionistic Logic of Proofs |
scientific article; zbMATH DE number 5961422 |
Statements
Arithmetical Completeness of the Intuitionistic Logic of Proofs (English)
0 references
21 October 2011
0 references
logic of proofs
0 references
Heyting arithmetic
0 references
diagonalization
0 references
admissible rule
0 references
projective formula
0 references
0.85047483
0 references
0.8431008
0 references
0.8370462
0 references
0 references
0.81037396
0 references
0.8055482
0 references
