Versions of a local contraction subexponential in the Lambek calculus (Q6160496): Difference between revisions

@@ Property / DOI @@
-.1007/s10469-023-09696-0
@@ Property / DOI: 10.1007/s10469-023-09696-0 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10469-023-09696-0
+Normal rank
@@ Property / OpenAlex ID @@
+W4367050803
@@ Property / OpenAlex ID: W4367050803 / 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
@@ Property / cites work @@
+Subexponentials in non-commutative linear logic
@@ Property / cites work: Subexponentials in non-commutative linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of the Lambek Calculus with a Relevant Modality
+Normal rank
@@ Property / cites work @@
+FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE
+Normal rank
@@ Property / cites work @@
+Lambek calculus and its relational semantics: Completeness and incompleteness
+Normal rank
@@ Property / DOI @@
+.1007/S10469-023-09696-0
@@ Property / DOI: 10.1007/S10469-023-09696-0 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6160496