A Curry-Howard view of basic justification logic

DOI10.1007/978-3-662-52921-8_20MaRDI QIDQ2820702zbMATH OpenOpenAlexFDO

Authors Konstantinos Pouliasis

Publication date 9 September 2016

Published in Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-52921-8_20

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Recommendations

• J-Calc: a typed lambda calculus for intuitionistic justification logic
• Justification logic and audited computation
• Justification logic for constructive modal logic
• Justification logic and history based computation
• Natural deduction and semantic models of justification logic in the proof assistant \textsc{Coq}

Cites work

• A judgmental reconstruction of modal logic
• Constructivism in mathematics. An introduction. Volume I
• Deductive systems and categories
• Explicit provability and constructive semantics
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• J-Calc: a typed lambda calculus for intuitionistic justification logic
• Justification logic and history based computation
• Linear logic
• Normal natural deduction proofs (in classical logic)
• On an intuitionistic modal logic
• The Intensional Lambda Calculus

Cited in

(5)

• Justification logic and type theory as formalizations of intuitionistic propositional logic
• J-Calc: a typed lambda calculus for intuitionistic justification logic
• Justification logic and audited computation
• Justification logic and type theory as formalizations of intuitionistic propositional logic
• The placeholder view of assumptions and the Curry-Howard correspondence

This page was built for publication: A Curry-Howard view of basic justification logic

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