Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

81

Voted

JSYML
2007

favoriteEmaildiscussreport

88views more JSYML 2007»

The basic intuitionistic logic of proofs

14 years 10 months ago

The basic intuitionistic logic of proofs

Download web.cs.gc.cuny.edu

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

Real-time Traffic

Basic Logic | JSYML 2007 | Sentence F | Usual Propositional Language |

claim paper

Related Content

» CutElimination and Proof Search for BiIntuitionistic Tense Logic

» ForcingBased CutElimination for GentzenStyle Intuitionistic Sequent Calculus

» Focusing and Polarization in Intuitionistic Logic

» The Basic Constructive Logic for NegationConsistency

» STRIP Structural Sharing for Efficient ProofSearch

» JProver Integrating ConnectionBased Theorem Proving into Interactive Proof Assistants

» The basic constructive logic for a weak sense of consistency

» A Connection Based Proof Method for Intuitionistic Logic

» ProofTheoretic Soundness and Completeness

Post Info
More Details (n/a)

Added	16 Dec 2010
Updated	16 Dec 2010
Type	Journal
Year	2007
Where	JSYML
Authors	Sergei N. Artëmov, Rosalie Iemhoff

Comments (0)