The atomic theory of left division of two-sided ideals of semirings with unit (Q376154): Difference between revisions

@@ Property / cites work @@
+Language in action. Categories, lambdas and dynamic logic
+Normal rank
@@ Property / cites work @@
+Completeness Results for Lambek Syntactic Calculus
+Normal rank
@@ Property / cites work @@
+Q4463937
@@ Property / cites work: Q4463937 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5509706
@@ Property / cites work: Q5509706 / rank @@
+Normal rank
@@ Property / cites work @@
+Cut elimination and strong separation for substructural logics: an algebraic approach
+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 division of semiring ideals
@@ Property / cites work: The atomic theory of division of semiring ideals / rank @@
+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