A Characterization of Varieties with a Difference Term, II: Neutral = Meet Semi-Distributive
From MaRDI portal
Publication:4222197
DOI10.4153/CMB-1998-044-9zbMath0909.08007OpenAlexW2063059990MaRDI QIDQ4222197
Publication date: 8 April 1999
Published in: Canadian Mathematical Bulletin (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.4153/cmb-1998-044-9
congruence meet semi-distributivelinear commutatorneutral varietiesTC-commutatorvarieties with a weak difference term
Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10)
Related Items (8)
Optimal strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties ⋮ Simpler Maltsev conditions for (weak) difference terms in locally finite varieties ⋮ Universal algebraic methods for non-classical logics ⋮ A characterization of idempotent strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties ⋮ Fragments of R-mingle ⋮ A finite basis theorem for difference-term varieties with a finite residual bound ⋮ A finite basis theorem for residually finite, congruence meet-semidistributive varieties ⋮ The shape of congruence lattices
This page was built for publication: A Characterization of Varieties with a Difference Term, II: Neutral = Meet Semi-Distributive