Complexity of the universal theory of residuated ordered groupoids (Q6169326): Difference between revisions

@@ Property / cites work @@
+Non‐associative Lambek Categorial Grammar in Polynomial Time
+Normal rank
@@ Property / cites work @@
+Q3837723
@@ Property / cites work: Q3837723 / rank @@
+Normal rank
@@ Property / cites work @@
+STABLE CANONICAL RULES
@@ Property / cites work: STABLE CANONICAL RULES / rank @@
+Normal rank
@@ Property / cites work @@
+The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
+Normal rank
@@ Property / cites work @@
+On the finite embeddability property for residuated ordered groupoids
+Normal rank
@@ Property / cites work @@
+Q4056047
@@ Property / cites work: Q4056047 / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of nonassociative Lambek calculus with unit
+Normal rank
@@ Property / cites work @@
+Algebraic structures in categorial grammar
@@ Property / cites work: Algebraic structures in categorial grammar / rank @@
+Normal rank
@@ Property / cites work @@
+Q5431598
@@ Property / cites work: Q5431598 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation and FEP for logics of residuated algebras
+Normal rank
@@ Property / cites work @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Q3505075
@@ Property / cites work: Q3505075 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5509706
@@ Property / cites work: Q5509706 / rank @@
+Normal rank
@@ Property / cites work @@
+On rules
@@ Property / cites work: On rules / rank @@
+Normal rank
@@ Property / cites work @@
+Consequence relations and admissible rules
@@ Property / cites work: Consequence relations and admissible rules / rank @@
+Normal rank
@@ Property / cites work @@
+Residuation, structural rules and context freeness
+Normal rank
@@ Property / cites work @@
+Proof complexity of substructural logics
@@ Property / cites work: Proof complexity of substructural logics / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical rules
@@ Property / cites work: Canonical rules / rank @@
+Normal rank
@@ Property / cites work @@
+Q4358450
@@ Property / cites work: Q4358450 / rank @@
+Normal rank
@@ Property / cites work @@
+Powerset Residuated Algebras and Generalized Lambek Calculus
+Normal rank
@@ Property / cites work @@
+The Mathematics of Sentence Structure
@@ Property / cites work: The Mathematics of Sentence Structure / rank @@
+Normal rank
@@ Property / cites work @@
+Hypersequent rules with restricted contexts for propositional modal logics
+Normal rank
@@ Property / cites work @@
+Basic logic: reflection, symmetry, visibility
@@ Property / cites work: Basic logic: reflection, symmetry, visibility / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids
+Normal rank
@@ Property / cites work @@
+Complexity of the universal theory of modal algebras
+Normal rank
@@ Property / cites work @@
+Computational complexity for bounded distributive lattices with negation
+Normal rank
@@ Property / cites work @@
+Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras
+Normal rank