The Friedman-Sheard programme in intuitionistic logic (Q2915893): Difference between revisions

@@ Property / cites work @@
+A theory of formal truth arithmetically equivalent to ID<sub>1</sub>
+Normal rank
@@ Property / cites work @@
+Toward useful type-free theories. I
@@ Property / cites work: Toward useful type-free theories. I / rank @@
+Normal rank
@@ Property / cites work @@
+Reflecting on incompleteness
@@ Property / cites work: Reflecting on incompleteness / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic approach to self-referential truth
@@ Property / cites work: An axiomatic approach to self-referential truth / rank @@
+Normal rank
@@ Property / cites work @@
+A system of complete and consistent truth
@@ Property / cites work: A system of complete and consistent truth / rank @@
+Normal rank
@@ Property / cites work @@
+Q5339289
@@ Property / cites work: Q5339289 / rank @@
+Normal rank
@@ Property / cites work @@
+An ordinal analysis for theories of self-referential truth
+Normal rank
@@ Property / cites work @@
+How truthlike can a predicate be? A negative result
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank