Order-reversing involutions and lattices with residuation (Q2468920)

The paper under review deals with relationships between residuated lattices and Hutton algebras (fuzzy lattices). The author seeks answers to the following question. Given a complete lattice \((L,\leq)\) with an order-reversing involution \('\), does there exist a binary operation \(\ast\) such that \('\) is determined by the implication \(\rightarrow^\ast\) associated to \(\ast\) (in the sense that \(\alpha\rightarrow^\ast \perp = \alpha '\) for each \(\alpha\in L\))? An analogous question for bounded chains has been considered by \textit{F. Esteva} and \textit{L. Godo} [Fuzzy Sets Syst. 124, 271--288 (2001; Zbl 0994.03017)]. As a main result (Theorem 3.4) a technical answer is given. As a consequence, in the case of completely distributive lattices with an order-reversing involution \('\), a necessary and sufficient condition is given for the desired residuated binary operation \(\ast\) to exist.