On varieties of biresiduation algebras (Q2433109): Difference between revisions

@@ Property / cites work @@
+Q2752411
@@ Property / cites work: Q2752411 / rank @@
+Normal rank
@@ Property / cites work @@
+On the structure of varieties with equationally definable principal congruences. III
+Normal rank
@@ Property / cites work @@
+On the quasivariety of BCK-algebras and its subvarieties
+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 @@
+Finite basis of ideal terms in ideal determined varieties
+Normal rank
@@ Property / cites work @@
+Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
+Normal rank
@@ Property / cites work @@
+Q2752146
@@ Property / cites work: Q2752146 / rank @@
+Normal rank
@@ Property / cites work @@
+Ideals in universal algebras
@@ Property / cites work: Ideals in universal algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras Whose Congruence Lattices are Distributive.
+Normal rank
@@ Property / cites work @@
+Q5690147
@@ Property / cites work: Q5690147 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterization of relatively distributed quasivarieties of algebras
+Normal rank
@@ Property / cites work @@
+The finite model property for various fragments of intuitionistic linear logic
+Normal rank
@@ Property / cites work @@
+Q4940727
@@ Property / cites work: Q4940727 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4359793
@@ Property / cites work: Q4359793 / rank @@
+Normal rank
@@ Property / cites work @@
+Congruence properties in congruence permutable and in ideal determined varieties, with applications.
+Normal rank
@@ Property / cites work @@
+On the lattice of varieties of residuation algebras
+Normal rank
@@ Property / cites work @@
+Rule separation and embedding theorems for logics without weakening
+Normal rank
@@ Property / cites work @@
+Q4071211
@@ Property / cites work: Q4071211 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3666901
@@ Property / cites work: Q3666901 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3666903
@@ Property / cites work: Q3666903 / rank @@
+Normal rank