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

@@ 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