Hypothetical Logic of Proofs

Eduardo Bonelli, Gabriela Steren

Research output: Contribution to journalArticlepeer-review

3 Scopus citations

Abstract

The logic of proofs is a refinement of modal logic introduced by Artemov in 1995 in which the modality {white medium square}A is revisited as?t?A where t is an expression that bears witness to the validity of A. It enjoys arithmetical soundness and completeness and is capable of reflecting its own proofs ({assertion}A implies {assertion}?t?A, for some t). We develop the Hypothetical Logic of Proofs, a reformulation of LP based on judgemental reasoning.

Original languageEnglish
Pages (from-to)103-140
Number of pages38
JournalLogica Universalis
Volume8
Issue number1
DOIs
StatePublished - Mar 2014

Keywords

  • Curry-Howard isomorphism
  • Modal logic
  • lambda Mu-calculus
  • lambda calculus
  • logic of proofs
  • natural deduction

Fingerprint

Dive into the research topics of 'Hypothetical Logic of Proofs'. Together they form a unique fingerprint.

Cite this