Translator Disclaimer
June 2007 The basic intuitionistic logic of proofs
Sergei Artemov, Rosalie Iemhoff
J. Symbolic Logic 72(2): 439-451 (June 2007). DOI: 10.2178/jsl/1185803617

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

Download 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

Published: June 2007
First available in Project Euclid: 30 July 2007

zbMATH: 1117.03066
MathSciNet: MR2320284
Digital Object Identifier: 10.2178/jsl/1185803617

Rights: Copyright © 2007 Association for Symbolic Logic

JOURNAL ARTICLE
13 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.72 • No. 2 • June 2007
Back to Top