Structure theorems for idempotent residuated lattices (Q2182567): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3021152080
@@ Property / OpenAlex ID: W3021152080 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.09553
@@ Property / arXiv ID: 2004.09553 / rank @@
+Normal rank
@@ Property / cites work @@
+Congruence properties in congruence permutable and in ideal determined varieties, with applications.
+Normal rank
@@ Property / cites work @@
+The finite model property for knotted extensions of propositional linear logic
+Normal rank
@@ Property / cites work @@
+THE STRUCTURE OF RESIDUATED LATTICES
@@ Property / cites work: THE STRUCTURE OF RESIDUATED LATTICES / rank @@
+Normal rank
@@ Property / cites work @@
+Variety generated by conical residuated lattice-ordered idempotent monoids
+Normal rank
@@ Property / cites work @@
+The structure of idempotent residuated chains
@@ Property / cites work: The structure of idempotent residuated chains / rank @@
+Normal rank
@@ Property / cites work @@
+Conical residuated lattice-ordered idempotent monoids
+Normal rank
@@ Property / cites work @@
+Quasitrivial semigroups: characterizations and enumerations
+Normal rank
@@ Property / cites work @@
+Algebraic completeness results for R-mingle and its extensions
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+A category equivalence for odd Sugihara monoids and its applications
+Normal rank
@@ Property / cites work @@
+Idempotent residuated structures: Some category equivalences and their applications
+Normal rank
@@ Property / cites work @@
+Q5693612
@@ Property / cites work: Q5693612 / rank @@
+Normal rank
@@ Property / cites work @@
+Substructural logics with mingle
@@ Property / cites work: Substructural logics with mingle / rank @@
+Normal rank
@@ Property / cites work @@
+Q4187817
@@ Property / cites work: Q4187817 / rank @@
+Normal rank
@@ Property / cites work @@
+Craig interpolation for semilinear substructural logics
+Normal rank
@@ Property / cites work @@
+On closed elements in closure algebras
@@ Property / cites work: On closed elements in closure algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Amalgamation and interpolation in ordered algebras.
+Normal rank
@@ Property / cites work @@
+The subvariety lattice for representable idempotent commutative residuated lattices
+Normal rank
@@ Property / cites work @@
+Representable idempotent commutative residuated lattices
+Normal rank
@@ Property / cites work @@
+Commutative idempotent residuated lattices
@@ Property / cites work: Commutative idempotent residuated lattices / rank @@
+Normal rank