Intuitionistic hypothetical logic of proofs

DOI10.1016/J.ENTCS.2013.12.013MaRDI QIDQ276039zbMATH OpenOpenAlexWikidataFDO

Authors Gabriela Steren

Publication date 26 April 2016

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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

zbMATH Keywords

Curry-Howard isomorphismlambda calculuslogic of proofsprogramming languages

Mathematics Subject Classification ID

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

Recommendations

• Hypothetical logic of proofs
• The basic intuitionistic logic of proofs
• The first-order hypothetical logic of proofs
• Arithmetical Completeness of the Intuitionistic Logic of Proofs
• Logics of proofs and justifications

Cites work

• A judgmental reconstruction of modal logic
• A modal analysis of staged computation
• Arithmetical Completeness of the Intuitionistic Logic of Proofs
• Contextual modal type theory
• Explicit provability and constructive semantics
• scientific article; zbMATH DE number 1223735 (Why is no real title available?)
• scientific article; zbMATH DE number 699435 (Why is no real title available?)
• scientific article; zbMATH DE number 1751350 (Why is no real title available?)
• Justification logic and history based computation
• Justification logic as a foundation for certifying mobile computation
• Nonaxiomatizability of predicate logics of proofs
• The basic intuitionistic logic of proofs
• The Intensional Lambda Calculus

Cited in

(8)

• Intuitionistic truth
• Hypothetical logic of proofs
• Intuitionistic hybrid logic
• Proof-theoretic harmony: towards an intensional account
• The first-order hypothetical logic of proofs
• A Proof-theoretic Treatment of Assignments
• Logic of intuitionistic interactive proofs (formal theory of perfect knowledge transfer)
• Justification logic for intuitionistic modal logic

Describes a project that uses

Uses Software

• MiniML

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q276039)