Justification logic and type theory as formalizations of intuitionistic propositional logic

DOI10.1007/978-3-030-93100-1_4OpenAlexW4200319172MaRDI QIDQ2151394

Neil J. DeBoer

Publication date: 1 July 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-93100-1_4

zbMATH Keywords

intuitionistic logictype theoryjustification logicBHK interpretation\( \lambda\) calculus

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• The logic of proofs, semantically
• Lectures on the Curry-Howard isomorphism
• Explicit Provability and Constructive Semantics
• The Blind Spot
• Justification Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Justification logic and type theory as formalizations of intuitionistic propositional logic