Self-referentiality in the Brouwer–Heyting–Kolmogorov Semantics of Intuitionistic Logic

DOI10.1007/978-3-642-35722-0_29zbMath1348.03013OpenAlexW167667726MaRDI QIDQ3455862

Junhua Yu

Publication date: 11 December 2015

Published in: Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-35722-0_29

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 (1)

Self-referentiality of Brouwer-Heyting-Kolmogorov semantics

Cites Work

• Unnamed Item
• Realizations and LP
• The logic of proofs, semantically
• Self-referential justifications in epistemic logic
• Modal companions of intermediate propositional logics
• Making knowledge explicit: how hard it is
• Explicit Provability and Constructive Semantics
• Some theorems about the sentential calculi of Lewis and Heyting

This page was built for publication: Self-referentiality in the Brouwer–Heyting–Kolmogorov Semantics of Intuitionistic Logic