Proof nets for the Lambek calculus with one division and a negative-polarity modality for weakening (Q2673113): Difference between revisions

@@ Property / author @@
-M. R. Pentus
@@ Property / author: M. R. Pentus / rank @@
-Normal rank
@@ Property / author @@
+M. R. Pentus
@@ Property / author: M. R. Pentus / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2992511673
@@ Property / OpenAlex ID: W2992511673 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q114017517
@@ Property / Wikidata QID: Q114017517 / 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 @@
+The atomic theory of left division of two-sided ideals of semirings with unit
+Normal rank
@@ Property / cites work @@
+Recognition of derivability for the Lambek calculus with one division
+Normal rank
@@ Property / cites work @@
+An application of proof-nets to the study of fragments of the Lambek calculus
+Normal rank