Skip to main content
Article thumbnail
Location of Repository

Intuitionistic logic of proofs

By Evgenij Dashkov


The logic of proofs LP was introduced in [3] and thoroughly studied in [1]. LP\ud is a natural extension of the propositional calculus in the language representing\ud proofs as formal objects. Proof expressing terms are constructed using constants,\ud variables, and signs of natural operations on derivations. Then formula\ud t:F has the intended interpretation "t is a proof of F". LP is complete with\ud respect to the interpretation of t:F in the Peano arithmetic by an arithmetical\ud formula "t is a PA-derivation of F"

Topics: Wijsbegeerte
Year: 2008
OAI identifier:
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.