Relational models for the Lambek calculus with intersection and unit (Q2695358): Difference between revisions

@@ Property / cites work @@
+Lambek calculus and its relational semantics: Completeness and incompleteness
+Normal rank
@@ Property / cites work @@
+Axiomatizability of positive algebras of binary relations
+Normal rank
@@ Property / cites work @@
+On the Complexity of the Equational Theory of Relational Action Algebras
+Normal rank
@@ Property / cites work @@
+Infinitary action logic: complexity, models and grammars
+Normal rank
@@ Property / cites work @@
+FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Language models for some extensions of the Lambek calculus
+Normal rank
@@ Property / cites work @@
+A restricted fragment of the Lambek calculus with iteration and intersection operations
+Normal rank
@@ Property / cites work @@
+Q5224583
@@ Property / cites work: Q5224583 / 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 @@
+Q5595187
@@ Property / cites work: Q5595187 / rank @@
+Normal rank
@@ Property / cites work @@
+The equational theories of representable residuated semigroups
+Normal rank
@@ Property / cites work @@
+Lower semilattice-ordered residuated semigroups and substructural logics
+Normal rank
@@ Property / cites work @@
+The logic of categorial grammars. A deductive account of natural language syntax and semantics
+Normal rank
@@ Property / cites work @@
+Logics without the contraction rule
@@ Property / cites work: Logics without the contraction rule / rank @@
+Normal rank
@@ Property / cites work @@
+Q3590769
@@ Property / cites work: Q3590769 / rank @@
+Normal rank
@@ Property / cites work @@
+Iterative division in the distributive full non-associative Lambek calculus
+Normal rank