This paper, by considering the notion of a state residuated lattice morphism in
the class of state residuated lattices, investigates some classical theorems namely the going
up and lying over theorems. Results show that each state residuated lattice morphism fulfills
these theorems. Also, some properties about prime filters of residuated lattices are obtained
which are given in the paper.