Arithmetical Completeness of the Intuitionistic Logic of Proofs (Q3094147)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Arithmetical Completeness of the Intuitionistic Logic of Proofs |
scientific article |
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
