Curry-Howard-Lambek correspondence for intuitionistic belief

DOI10.1007/s11225-021-09952-3OpenAlexW3172691083MaRDI QIDQ2062203

Cosimo Perini Brogi

Publication date: 27 December 2021

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2006.02417

zbMATH Keywords

epistemic logiccategorical proof theoryintuitionistic modal logicmodal type theoryproofs-as-programs

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items

Linear depth deduction with subformula property for intuitionistic epistemic logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Lectures on the Curry-Howard isomorphism
• On intuitionistic modal epistemic logic
• Constructivism in mathematics. An introduction. Volume II
• On the strong normalisation of intuitionistic natural deduction with permutation-conversions
• Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY
• Propositions as [Types]
• Modalities in homotopy type theory
• Intensional interpretations of functionals of finite type I
• INTUITIONISTIC EPISTEMIC LOGIC
• Logic and structure