Self-referentiality of Brouwer-Heyting-Kolmogorov semantics (Q392298): Difference between revisions

@@ Property / DOI @@
-.1016/j.apal.2013.07.019
@@ Property / DOI: 10.1016/j.apal.2013.07.019 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.apal.2013.07.019
+Normal rank
@@ Property / OpenAlex ID @@
+W2082080353
@@ Property / OpenAlex ID: W2082080353 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit Provability and Constructive Semantics
@@ Property / cites work: Explicit Provability and Constructive Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Making knowledge explicit: how hard it is
@@ Property / cites work: Making knowledge explicit: how hard it is / rank @@
+Normal rank
@@ Property / cites work @@
+Q2904046
@@ Property / cites work: Q2904046 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal companions of intermediate propositional logics
+Normal rank
@@ Property / cites work @@
+Proof methods for modal and intuitionistic logics
@@ Property / cites work: Proof methods for modal and intuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of proofs, semantically
@@ Property / cites work: The logic of proofs, semantically / rank @@
+Normal rank
@@ Property / cites work @@
+Realizations and LP
@@ Property / cites work: Realizations and LP / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5613908
@@ Property / cites work: Q5613908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5343326
@@ Property / cites work: Q5343326 / rank @@
+Normal rank
@@ Property / cites work @@
+Self-referentiality of Justified Knowledge
@@ Property / cites work: Self-referentiality of Justified Knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Self-referential justifications in epistemic logic
+Normal rank
@@ Property / cites work @@
+Some theorems about the sentential calculi of Lewis and Heyting
+Normal rank
@@ Property / cites work @@
+Q4376067
@@ Property / cites work: Q4376067 / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on the Curry-Howard isomorphism
@@ Property / cites work: Lectures on the Curry-Howard isomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank
@@ Property / cites work @@
+Prehistoric Phenomena and Self-referentiality
@@ Property / cites work: Prehistoric Phenomena and Self-referentiality / rank @@
+Normal rank
@@ Property / cites work @@
+Self-referentiality in the Brouwer–Heyting–Kolmogorov Semantics of Intuitionistic Logic
+Normal rank
@@ Property / cites work @@
+Prehistoric graph in modal derivations and self-referentiality
+Normal rank
@@ Property / DOI @@
+.1016/J.APAL.2013.07.019
@@ Property / DOI: 10.1016/J.APAL.2013.07.019 / rank @@
+Normal rank