The Basic Intuitionistic Logic of Proofs
Publication date
2007
Authors
Iemhoff, Rosalie
Artemov, S.
Editors
Advisors
Supervisors
DOI
Document Type
Article
Metadata
Show full item recordCollections
License
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.
Keywords
International (English)
Citation
Iemhoff, R & Artemov, S 2007, 'The Basic Intuitionistic Logic of Proofs', Journal of Symbolic Logic, vol. 72, no. 2, pp. 439-451.