Semi-linear Varieties of Lattice-Ordered Algebras (Q2948590): Difference between revisions

@@ Property / cites work @@
+Q4039742
@@ Property / cites work: Q4039742 / rank @@
+Normal rank
@@ Property / cites work @@
+On the degrees of permutability of subregular varieties
+Normal rank
@@ Property / cites work @@
+Q5406032
@@ Property / cites work: Q5406032 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+On the structure of varieties with equationally definable principal congruences. IV
+Normal rank
@@ Property / cites work @@
+Q4249027
@@ Property / cites work: Q4249027 / rank @@
+Normal rank
@@ Property / cites work @@
+ASSERTIONALLY EQUIVALENT QUASIVARIETIES
@@ Property / cites work: ASSERTIONALLY EQUIVALENT QUASIVARIETIES / rank @@
+Normal rank
@@ Property / cites work @@
+THE STRUCTURE OF RESIDUATED LATTICES
@@ Property / cites work: THE STRUCTURE OF RESIDUATED LATTICES / rank @@
+Normal rank
@@ Property / cites work @@
+Q4508551
@@ Property / cites work: Q4508551 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Many-valued quantum algebras
@@ Property / cites work: Many-valued quantum algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Ideals and congruences of basic algebras
@@ Property / cites work: Ideals and congruences of basic algebras / rank @@
+Normal rank
@@ Property / cites work @@
+NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES
+Normal rank
@@ Property / cites work @@
+Q2871197
@@ Property / cites work: Q2871197 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalential logics. I
@@ Property / cites work: Equivalential logics. I / rank @@
+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 @@
+Ideals in universal algebras
@@ Property / cites work: Ideals in universal algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5693612
@@ Property / cites work: Q5693612 / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-subtractive varieties: Open filters, congruences and the commutator
+Normal rank
@@ Property / cites work @@
+Quasi-subtractive varieties
@@ Property / cites work: Quasi-subtractive varieties / rank @@
+Normal rank
@@ Property / cites work @@
+Representable pseudo-BCK-algebras and integral residuated lattices
+Normal rank
@@ Property / cites work @@
+MV-algebras and quantum computation
@@ Property / cites work: MV-algebras and quantum computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3584003
@@ Property / cites work: Q3584003 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5286735
@@ Property / cites work: Q5286735 / rank @@
+Normal rank
@@ Property / cites work @@
+On subtractive varieties. I
@@ Property / cites work: On subtractive varieties. I / rank @@
+Normal rank
@@ Property / cites work @@
+Representable biresiduated lattices
@@ Property / cites work: Representable biresiduated lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Prelinear algebras in relatively regular quasivarieties
+Normal rank
@@ Property / cites work @@
+Rule separation and embedding theorems for logics without weakening
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Vol. 5
@@ Property / cites work: Handbook of philosophical logic. Vol. 5 / rank @@
+Normal rank