Some properties of state filters in state residuated lattices
We consider properties of state filters of state residuated lattices and prove that for every state filter of a state residuated lattice :