Abstract
The language of the basic logic of proofs extends the usual propositional language
by forming sentences of the sort x is a proof of F for any sentence F. In
this paper a complete axiomatization for the basic logic of proofs in Heyting
Arithmetic HA was found.
by forming sentences of the sort x is a proof of F for any sentence F. In
this paper a complete axiomatization for the basic logic of proofs in Heyting
Arithmetic HA was found.
| Original language | English |
|---|---|
| Pages (from-to) | 439-451 |
| Number of pages | 13 |
| Journal | Journal of Symbolic Logic |
| Volume | 72 |
| Issue number | 2 |
| Publication status | Published - 2007 |