Termination of permutative conversions in intuitionistic Gentzen calculi (Q1275632): Difference between revisions

@@ Property / cites work @@
+Permutability of proofs in intuitionistic sequent calculi
+Normal rank
@@ Property / cites work @@
+Q4474830
@@ Property / cites work: Q4474830 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922646
@@ Property / cites work: Q3922646 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5813181
@@ Property / cites work: Q5813181 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4397029
@@ Property / cites work: Q4397029 / rank @@
+Normal rank
@@ Property / cites work @@
+Normalization as a homomorphic image of cut-elimination
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Marginalia on sequent claculi
@@ Property / cites work: Marginalia on sequent claculi / rank @@
+Normal rank
@@ Property / cites work @@
+The correspondence between cut-elimination and normalization
+Normal rank