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.
Citation
Sergei Artemov. Rosalie Iemhoff. "The basic intuitionistic logic of proofs." J. Symbolic Logic 72 (2) 439 - 451, June 2007. https://doi.org/10.2178/jsl/1185803617
Information
