scientific article; zbMATH DE number 823454
From MaRDI portal
Publication:4856909
zbMath0841.08004MaRDI QIDQ4856909
Publication date: 16 January 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
surveylattice of subvarietiesdiscriminator varietiescongruence distributivityequationally definable principal congruences
Lattices of varieties (08B15) Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)
Related Items
Boolean-like algebras ⋮ Algebraic and topological results on lifting properties in residuated lattices ⋮ Epimorphisms in varieties of residuated structures ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Bounded lattice structured discriminator varieties ⋮ Relative congruence formulas and decompositions in quasivarieties ⋮ VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS ⋮ Universal algebraic methods for non-classical logics ⋮ Semilinear De Morgan monoids and epimorphisms ⋮ Epimorphism surjectivity in varieties of Heyting algebras ⋮ Subreducts and subvarieties of PBZ *-lattices* ⋮ Singly generated quasivarieties and residuated structures ⋮ Unnamed Item ⋮ Strengthening effect algebras in a logical perspective: Heyting-Wajsberg algebras ⋮ Epimorphisms in varieties of subidempotent residuated structures ⋮ Varieties of De Morgan monoids: minimality and irreducible algebras ⋮ Free algebras in varieties of Stonean residuated lattices ⋮ Tribute to Bjarni Jónsson ⋮ Factor congruence lifting property ⋮ Unnamed Item ⋮ Generalizations of Boolean products for lattice-ordered algebras ⋮ Unnamed Item ⋮ Semiconic idempotent residuated structures ⋮ Geometrical methods in Wajsberg hoops
