A new correctness criterion for the proof nets of non-commutative multiplicative linear logics (Q4328819): Difference between revisions

@@ Property / cites work @@
+The structure of multiplicatives
@@ Property / cites work: The structure of multiplicatives / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883524
@@ Property / cites work: Q3883524 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Nets for Lambek Calculus
@@ Property / cites work: Proof Nets for Lambek Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q5689034
@@ Property / cites work: Q5689034 / rank @@
+Normal rank
@@ Property / cites work @@
+The Mathematics of Sentence Structure
@@ Property / cites work: The Mathematics of Sentence Structure / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank