Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids (Q2317378): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3099537738
@@ Property / OpenAlex ID: W3099537738 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / 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 @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonassociative Lambek Calculus with Additives and Context-Free Languages
+Normal rank
@@ Property / cites work @@
+Domino-tiling games
@@ Property / cites work: Domino-tiling games / rank @@
+Normal rank
@@ Property / cites work @@
+UNDECIDABILITY OF CONSEQUENCE RELATION IN FULL NON-ASSOCIATIVE LAMBEK CALCULUS
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753193
@@ Property / cites work: Q2753193 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3505075
@@ Property / cites work: Q3505075 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5693622
@@ Property / cites work: Q5693622 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributive residuated frames and generalized bunched implication algebras
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Cut elimination and strong separation for substructural logics: an algebraic approach
+Normal rank
@@ Property / cites work @@
+Adding involution to residuated structures
@@ Property / cites work: Adding involution to residuated structures / rank @@
+Normal rank
@@ Property / cites work @@
+Using the Universal Modality: Gains and Questions
@@ Property / cites work: Using the Universal Modality: Gains and Questions / rank @@
+Normal rank
@@ Property / cites work @@
+The finite embeddability property for residuated groupoids.
+Normal rank
@@ Property / cites work @@
+Q5693612
@@ Property / cites work: Q5693612 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributive full Lambek calculus has the finite model property
+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 @@
+Q4862312
@@ Property / cites work: Q4862312 / rank @@
+Normal rank
@@ Property / cites work @@
+Lambek calculus is NP-complete
@@ Property / cites work: Lambek calculus is NP-complete / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of the universal theory of modal algebras
+Normal rank
@@ Property / cites work @@
+The undecidability of entailment and relevant implication
+Normal rank
@@ Property / cites work @@
+Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras
+Normal rank
@@ Property / cites work @@
+Q4331781
@@ Property / cites work: Q4331781 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2317378