Multiple Conclusion Linear Logic: Cut Elimination and More (Q5283420): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-27683-0_7
+Normal rank
@@ Property / OpenAlex ID @@
+W2295505930
@@ Property / OpenAlex ID: W2295505930 / rank @@
+Normal rank
@@ Property / cites work @@
+Subnets of proof-nets in multiplicative linear logic with MIX
+Normal rank
@@ Property / cites work @@
+A note on full intuitionistic linear logic
@@ Property / cites work: A note on full intuitionistic linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218928
@@ Property / cites work: Q4218928 / rank @@
+Normal rank
@@ Property / cites work @@
+Weakly distributive categories
@@ Property / cites work: Weakly distributive categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3829551
@@ Property / cites work: Q3829551 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039813
@@ Property / cites work: Q4039813 / rank @@
+Normal rank
@@ Property / cites work @@
+Full intuitionistic linear logic
@@ Property / cites work: Full intuitionistic linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Multiple Conclusion Linear Logic: Cut Elimination and More
+Normal rank
@@ Property / cites work @@
+Eine Darstellung der Intuitionistischen Logik in der Klassischen
+Normal rank
@@ Property / cites work @@
+Resource modalities in tensor logic
@@ Property / cites work: Resource modalities in tensor logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5703108
@@ Property / cites work: Q5703108 / rank @@
+Normal rank
@@ Property / cites work @@
+Some Syntactical Observations on Linear Logic
@@ Property / cites work: Some Syntactical Observations on Linear Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3827993
@@ Property / cites work: Q3827993 / rank @@
+Normal rank