FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE (Q3188328): Difference between revisions

@@ Property / cites work @@
+The contraction rule and decision problems for logics without structural rules
+Normal rank
@@ Property / cites work @@
+Predicate logics without the structure rules
@@ Property / cites work: Predicate logics without the structure rules / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Word problem for knotted residuated lattices.
@@ Property / cites work: Word problem for knotted residuated lattices. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. II
@@ Property / cites work: Untersuchungen über das logische Schliessen. II / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic proof theory for substructural logics: cut-elimination and completions
+Normal rank
@@ Property / cites work @@
+Decision problems for propositional linear logic
@@ Property / cites work: Decision problems for propositional linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+ALGORITHMIC PROBLEMS IN VARIETIES
@@ Property / cites work: ALGORITHMIC PROBLEMS IN VARIETIES / rank @@
+Normal rank