On state residuated lattices (Q521705)

The authors have adapted the notion of state operator to residuated lattices, and describe elementeray properties of these operators, state residuated lattices, and state filters on them. State filters are studied more thoroughly. It is shown that state filters of a state residuated lattice \((L,\tau)\) with a state operator \(\tau\) form a coherent frame, where the principal state filters are just the compact elements. Given a state filter \(F\) and a nonemty subset \(X\) of \(L\), the co-annihilator of \(X\) relatively to \(F\) is defined to be the subset \(\{a \in L: \tau(a) \vee x \in F\) for all \(x \in X\}\); it is always a state filter including \(F\). With \(\tau\) the identity map of \(L\), the co-annihilator of a filter \(G\) of \(L\) relatively to \(F\) is the relative pseudocomplement of \(G\) in the lattice of filters of \(L\).