On some systems of simultaneous equations in a completely distributive lattice (Q913838)

Let L be a completely distributive lattice. Consider the n-system of equations in L \(\bigwedge_{s\in I_ k}x_ s=a_ k\), \(1\leq k\leq m\), where \(I_ 1,I_ 2,...,I_ m\subseteq \{1,2,...,n\}\) are index sets. It is proved (Theorem 2.3) that this system of equations has a solution iff \(a_ k=\bigvee \{a_{\ell_ 1}\wedge a_{\ell_ 2}\wedge...\wedge a_{\ell_{t_ k}}:\ell_ 1\in J_{k_ 1},\ell_ 2\in J_{k_ 2},...,\ell_{t_ k}\in J_{t_ k}\}\), \(1\leq k\leq m\), where \(J_ s=\{k:\) \(s\in I_ k\}\), \(1\leq s\leq n\). Further, if this condition holds the system has the unique least solution \(x_ s=\bigvee_{k\in J_ s}a_ k\), \(1\leq s\leq n\). Similarly, Theorem 3.3 states the conditions necessary and sufficient for the system of equations \(\bigvee_{s\in I_ k}y_ s=b_ k\), \(1\leq k\leq m\), to be solvable in L. These results are applied to systems of fuzzy relation equations.