The prime state ideal theorem in state residuated lattices

The aim of this paper is to establish the prime state ideal theorem in state residuated lattices (SRLs). We study the state ideals lattice \mathcal{SI}(L) of a state residuated lattice (L, \varphi) and prove that it is a complete Brouwerian lattice in which the meet and the join of any two compact elements are compact (coherent frame). We characterize the notion of prime state ideals in SRLs. In addition, we establish the condition for which the lattice \mathcal{SI}(L) is a Boolean algebra.