DOI10.1515/dema-2008-0402zbMath1163.08003OpenAlexW217679417MaRDI QIDQ3606523
P. Penner, Shelly L. Wismath
Publication date: 26 February 2009 Published in: Demonstratio Mathematica (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1515/dema-2008-0402
zbMATH Keywords
normalizationidempotent term\(k\)-normal identity
Mathematics Subject Classification ID
Equational logic, Mal'tsev conditions (08B05) Varieties of lattices (06B20)