Reduction and a simple proof of characterization of fuzzy concept lattices (Q2762275)

Let \(\mathbf L\) be a complete residuated lattice. A triple \(\langle X,Y,I\rangle\) is an \(\mathbf L\)-context if \(I\in L^{X\times Y}\). For \(A\in L^X\), \(A^\uparrow(y)=\bigwedge_{x\in X}(A(x)\rightarrow I(x,y))\) and analogously for \(B\in L^Y\), \(B^\downarrow(x)=\bigwedge_{y\in Y}(B(y)\rightarrow I(x,y))\). Then \(\mathcal B(X,Y,I)=\{\langle A,B \rangle\in L^X\times L^Y:A^\uparrow=B, B^\downarrow=A\}\) is called \(\mathbf L\)-fuzzy concept lattice. The author proves that any \(\mathbf L\)-fuzzy concept lattice \(\mathcal B(X,Y,I)\) is isomorphic to the concept lattice \(\mathcal B(X\times L,Y\times L,I^\times)\), where \(\langle\langle x,\alpha\rangle,\langle y,\beta\rangle\rangle\in I^\times\) iff \(\alpha\times\beta\leq I(x,y).\)