UNDECIDABILITY OF CONSEQUENCE RELATION IN FULL NON-ASSOCIATIVE LAMBEK CALCULUS (Q5501771): Difference between revisions

@@ Property / cites work @@
+Cut elimination and strong separation for substructural logics: an algebraic approach
+Normal rank
@@ Property / cites work @@
+Sequent-systems and groupoid models. I
@@ Property / cites work: Sequent-systems and groupoid models. I / rank @@
+Normal rank
@@ Property / cites work @@
+Universality of Tag Systems with             <i>P</i>             = 2
@@ Property / cites work: Universality of Tag Systems with <i>P</i> = 2 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Reductions of the General Combinatorial Decision Problem
+Normal rank
@@ Property / cites work @@
+Q5431598
@@ Property / cites work: Q5431598 / rank @@
+Normal rank
@@ Property / cites work @@
+Some Decision Problems in the Theory of Syntactic Categories
+Normal rank
@@ Property / cites work @@
+The Mathematics of Sentence Structure
@@ Property / cites work: The Mathematics of Sentence Structure / rank @@
+Normal rank
@@ Property / cites work @@
+Extending intuitionistic linear logic with knotted structural rules
+Normal rank
@@ Property / cites work @@
+The finite embeddability property for residuated groupoids.
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank