Self-referentiality of Brouwer-Heyting-Kolmogorov semantics
DOI10.1016/J.APAL.2013.07.019zbMATH Open1348.03012OpenAlexW2082080353MaRDI QIDQ392298FDOQ392298
Authors: Junhua Yu 
Publication date: 13 January 2014
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2013.07.019
Recommendations
- Self-referentiality in the Brouwer-Heyting-Kolmogorov semantics of intuitionistic logic
- Prehistoric graph in modal derivations and self-referentiality
- Explicit provability and constructive semantics
- scientific article; zbMATH DE number 1497741
- Realization of Intuitionistic Logic by Proof Polynomials
Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Cites Work
- Title not available (Why is that?)
- Linear logic
- Lectures on the Curry-Howard isomorphism
- Explicit provability and constructive semantics
- The logic of proofs, semantically
- Some theorems about the sentential calculi of Lewis and Heyting
- Title not available (Why is that?)
- Realizations and LP
- Modal companions of intermediate propositional logics
- Title not available (Why is that?)
- A syntactic realization theorem for justification logics
- Proof methods for modal and intuitionistic logics
- Prehistoric graph in modal derivations and self-referentiality
- Making knowledge explicit: how hard it is
- Self-referentiality in the Brouwer–Heyting–Kolmogorov Semantics of Intuitionistic Logic
- Self-referentiality of Justified Knowledge
- Prehistoric phenomena and self-referentiality
- Title not available (Why is that?)
- Self-referential justifications in epistemic logic
Cited In (4)
This page was built for publication: Self-referentiality of Brouwer-Heyting-Kolmogorov semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q392298)
