Justification logic and type theory as formalizations of intuitionistic propositional logic

DOI10.1093/LOGCOM/EXAC066MaRDI QIDQ5872865zbMATH OpenOpenAlexFDO

Authors Neil J. DeBoer

Publication date 4 January 2023

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exac066

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• Justification logic and type theory as formalizations of intuitionistic propositional logic
• J-Calc: a typed lambda calculus for intuitionistic justification logic
• A Curry-Howard view of basic justification logic
• Justification logic for constructive modal logic
• Logics of proofs and justifications

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

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