Publication:4856909
From MaRDI portal
zbMath0841.08004MaRDI QIDQ4856909
Publication date: 16 January 1996
survey; lattice of subvarieties; discriminator varieties; congruence distributivity; equationally definable principal congruences
08B15: Lattices of varieties
08B05: Equational logic, Mal'tsev conditions
08B10: Congruence modularity, congruence distributivity
08-02: Research exposition (monographs, survey articles) pertaining to general algebraic systems
Related Items
Boolean-like algebras, Strengthening effect algebras in a logical perspective: Heyting-Wajsberg algebras, Factor congruence lifting property, Bounded lattice structured discriminator varieties, Generalizations of Boolean products for lattice-ordered algebras, Semiconic idempotent residuated structures, Geometrical methods in Wajsberg hoops, Free algebras in varieties of Stonean residuated lattices