Self-referentiality of Brouwer-Heyting-Kolmogorov semantics

DOI10.1016/J.APAL.2013.07.019MaRDI QIDQ392298zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

realizationBHK semanticsself-referentiality

Mathematics Subject Classification ID

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)

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

Cites work

• scientific article; zbMATH DE number 1114348 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 3216178 (Why is no real title available?)
• scientific article; zbMATH DE number 3336772 (Why is no real title available?)
• A syntactic realization theorem for justification logics
• Explicit provability and constructive semantics
• Lectures on the Curry-Howard isomorphism
• Linear logic
• Making knowledge explicit: how hard it is
• Modal companions of intermediate propositional logics
• Prehistoric graph in modal derivations and self-referentiality
• Prehistoric phenomena and self-referentiality
• Proof methods for modal and intuitionistic logics
• Realizations and LP
• Self-referential justifications in epistemic logic
• Self-referentiality in the Brouwer-Heyting-Kolmogorov semantics of intuitionistic logic
• Self-referentiality of Justified Knowledge
• Some theorems about the sentential calculi of Lewis and Heyting
• The logic of proofs, semantically

Cited in

(6)

• Cardinality reduction theorem for logics QHC and QH4
• Prehistoric phenomena and self-referentiality
• Prehistoric graph in modal derivations and self-referentiality
• Self-referentiality in the Brouwer-Heyting-Kolmogorov semantics of intuitionistic logic
• On non-self-referential fragments of modal logics
• Realization theorems for justification logics: full modularity

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)