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
Unnamed Item, Unnamed Item, Paraconsistent constructive logic with strong negation as a contraction-free relevant logic, VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS, Singly generated quasivarieties and residuated structures, Unnamed Item, Subreducts and subvarieties of PBZ *-lattices*, 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, Algebraic and topological results on lifting properties in residuated lattices, Relative congruence formulas and decompositions in quasivarieties, Varieties of De Morgan monoids: minimality and irreducible algebras, Geometrical methods in Wajsberg hoops, Tribute to Bjarni Jónsson, Epimorphism surjectivity in varieties of Heyting algebras, Epimorphisms in varieties of subidempotent residuated structures, Epimorphisms in varieties of residuated structures, Free algebras in varieties of Stonean residuated lattices