Intuitionistic hypothetical logic of proofs

DOI10.1016/j.entcs.2013.12.013zbMath1337.03032OpenAlexW2015385255WikidataQ113317924 ScholiaQ113317924MaRDI QIDQ276039

Gabriela Steren

Publication date: 26 April 2016

Full work available at URL: https://doi.org/10.1016/j.entcs.2013.12.013

zbMATH Keywords

programming languageslambda calculuslogic of proofsCurry-Howard isomorphism

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer)

Uses Software

• MiniML

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Justification logic as a foundation for certifying mobile computation
• Nonaxiomatizability of predicate logics 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
• Contextual modal type theory
• The basic intuitionistic logic of proofs
• The Intensional Lambda Calculus

This page was built for publication: Intuitionistic hypothetical logic of proofs