This paper presents a general method of solving equational problems in all
equational classes of algebras whose congruence lattices are distributive, such
as those consisting of lattices, relation algebras, cylindric algebras,
orthomodular lattices, lattice-ordered rings, lattice-ordered groups, Heyting
algebras, other lattice-ordered algebras, implication algebras, arithmetic
rings, and arithmeti... hiện toàn bộ