Yet another bijection between sequent calculus and natural deduction (Q530853): Difference between revisions

@@ Property / Wikidata QID @@
+Q113317807
@@ Property / Wikidata QID: Q113317807 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842975
@@ Property / cites work: Q4842975 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5610986
@@ Property / cites work: Q5610986 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474830
@@ Property / cites work: Q4474830 / rank @@
+Normal rank
@@ Property / cites work @@
+From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic
+Normal rank
@@ Property / cites work @@
+A framework for proof systems
@@ Property / cites work: A framework for proof systems / 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 @@
+The correspondence between cut-elimination and normalization
+Normal rank