A SEQUENT CALCULUS ISOMORPHIC TO GENTZEN’S NATURAL DEDUCTION (Q3005996): Difference between revisions

@@ Property / cites work @@
+A proof of Gentzen's \textit{Hauptsatz} without multicut
+Normal rank
@@ Property / cites work @@
+Q3016126
@@ Property / cites work: Q3016126 / rank @@
+Normal rank
@@ Property / cites work @@
+Translations from natural deduction to sequent calculus
+Normal rank
@@ Property / cites work @@
+Q5430147
@@ Property / cites work: Q5430147 / rank @@
+Normal rank
@@ Property / cites work @@
+The correspondence between cut-elimination and normalization
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Normalization as a homomorphic image of cut-elimination
+Normal rank
@@ Property / cites work @@
+Gentzen's Proof of Normalization for Natural Deduction
+Normal rank
@@ Property / cites work @@
+Natural deduction with general elimination rules
@@ Property / cites work: Natural deduction with general elimination rules / rank @@
+Normal rank