Curry-Howard-Lambek correspondence for intuitionistic belief
From MaRDI portal
Publication:2062203
DOI10.1007/s11225-021-09952-3OpenAlexW3172691083MaRDI QIDQ2062203
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
epistemic logiccategorical proof theoryintuitionistic modal logicmodal type theoryproofs-as-programs
Related Items
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