Disjunction property and complexity of substructural logics (Q549720): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2011.04.004
@@ Property / DOI: 10.1016/j.tcs.2011.04.004 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2011.04.004
+Normal rank
@@ Property / OpenAlex ID @@
+W1983988429
@@ Property / OpenAlex ID: W1983988429 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity issues in Basic Logic
@@ Property / cites work: Complexity issues in Basic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of nonassociative Lambek calculus with unit
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic proof theory for substructural logics: cut-elimination and completions
+Normal rank
@@ Property / cites work @@
+Expanding the Realm of Systematic Proof Theory
@@ Property / cites work: Expanding the Realm of Systematic Proof Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Vol. 6
@@ Property / cites work: Handbook of philosophical logic. Vol. 6 / rank @@
+Normal rank
@@ Property / cites work @@
+The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Classical non-associative Lambek calculus
@@ Property / cites work: Classical non-associative Lambek calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842970
@@ Property / cites work: Q4842970 / rank @@
+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 @@
+The Logic of Bunched Implications
@@ Property / cites work: The Logic of Bunched Implications / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221403
@@ Property / cites work: Q3221403 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4805593
@@ Property / cites work: Q4805593 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to the disjunction property of substructural logics
+Normal rank
@@ Property / cites work @@
+Intuitionistic propositional logic is polynomial-space complete
+Normal rank
@@ Property / cites work @@
+On the polynomial-space completeness of intuitionistic propositional logic
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2011.04.004
@@ Property / DOI: 10.1016/J.TCS.2011.04.004 / rank @@
+Normal rank