Hypothetical logic of proofs

DOI10.1007/s11787-014-0098-0zbMath1335.03020OpenAlexW2054717969MaRDI QIDQ2254560

Eduardo Bonelli, Gabriela Steren

Publication date: 5 February 2015

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-014-0098-0

zbMATH Keywords

modal logicnatural deductionlambda calculuslogic of proofsCurry-Howard isomorphismlambda mu-calculus

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Combinatory logic and lambda calculus (03B40)

Related Items

Hypothetical logic of proofs

Uses Software

• MiniML

Cites Work

• Unnamed Item
• Unnamed Item
• Justification logic as a foundation for certifying mobile computation
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Hypothetical logic of proofs
• Explicit Provability and Constructive Semantics
• A judgmental reconstruction of modal logic
• Arithmetical Completeness of the Intuitionistic Logic of Proofs
• A modal analysis of staged computation
• Justification Logic and History Based Computation
• Proofs of strong normalisation for second order classical natural deduction
• Contextual modal type theory
• The basic intuitionistic logic of proofs
• The Intensional Lambda Calculus