Self-referentiality of Brouwer-Heyting-Kolmogorov semantics

DOI10.1016/J.APAL.2013.07.019zbMath1348.03012OpenAlexW2082080353MaRDI QIDQ392298

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)

Related Items (3)

Realization Theorems for Justification Logics: Full Modularity ⋮ Cardinality reduction theorem for logics QHC and QH4 ⋮ On non-self-referential fragments of modal logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Realizations and LP
• The logic of proofs, semantically
• Lectures on the Curry-Howard isomorphism
• Self-referential justifications in epistemic logic
• Proof methods for modal and intuitionistic logics
• Modal companions of intermediate propositional logics
• Prehistoric graph in modal derivations and self-referentiality
• Making knowledge explicit: how hard it is
• Explicit Provability and Constructive Semantics
• Self-referentiality in the Brouwer–Heyting–Kolmogorov Semantics of Intuitionistic Logic
• Self-referentiality of Justified Knowledge
• Prehistoric Phenomena and Self-referentiality
• Some theorems about the sentential calculi of Lewis and Heyting

This page was built for publication: Self-referentiality of Brouwer-Heyting-Kolmogorov semantics