No CrossRef data available.
Published online by Cambridge University Press: 20 January 2009
In (8), R. L. Goodstein gave necessary and sufficient conditions for the solvability of equations over distributive lattices with 0 and 1 together with an algorithm for computing a solution whenever one exists. In addition, the same problem was considered for a special class of equations over distributive lattices with pseudocomplementation. The validity of several of Goodstein's results for distributive lattices without 0 and 1 was pointed out by Rudeanu in (15) and (16).