Proof Nets for the Displacement Calculus (Q2835060): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2409411358
@@ Property / OpenAlex ID: W2409411358 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.01720
@@ Property / arXiv ID: 1606.01720 / rank @@
+Normal rank
@@ Property / cites work @@
+Categories and types in logic, language, and physics. Essays dedicated to Jim Lambek on the occasion of his 90th birthday
+Normal rank
@@ Property / cites work @@
+Extended Lambek Calculi and First-Order Linear Logic
+Normal rank
@@ Property / cites work @@
+Proof nets for the multimodal Lambek calculus
@@ Property / cites work: Proof nets for the multimodal Lambek calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Nets for Basic Discontinuous Lambek Calculus
+Normal rank
@@ Property / cites work @@
+The displacement calculus
@@ Property / cites work: The displacement calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Lambek calculus is NP-complete
@@ Property / cites work: Lambek calculus is NP-complete / rank @@
+Normal rank
@@ Property / cites work @@
+The Hidden Structural Rules of the Discontinuous Lambek Calculus
+Normal rank