Some applications of Gentzens second consistency proof (Q2535674): Difference between revisions

@@ Property / author @@
-Bruno Scarpellini
@@ Property / author: Bruno Scarpellini / rank @@
-Normal rank
@@ Property / author @@
+Bruno Scarpellini
@@ Property / author: Bruno Scarpellini / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Concerning formulas of the types <i>A→B</i> ν <i>C,A →(Ex)B(x)</i> in intuitionistic formal systems
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5525322
@@ Property / cites work: Q5525322 / rank @@
+Normal rank
@@ Property / cites work @@
+The substitution method
@@ Property / cites work: The substitution method / rank @@
+Normal rank
@@ Property / cites work @@
+Consistency proofs of subsystems of classical analysis
+Normal rank