Sciweavers

Share
JSYML
2007

The basic intuitionistic logic of proofs

8 years 11 months ago
The basic intuitionistic logic of proofs
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.
Sergei N. Artëmov, Rosalie Iemhoff
Added 16 Dec 2010
Updated 16 Dec 2010
Type Journal
Year 2007
Where JSYML
Authors Sergei N. Artëmov, Rosalie Iemhoff
Comments (0)
books