Normal MP-ideals of R_0-algebras

R_0-algebra is a class of logic algebra based on a systematic research on the formal deductive system L~. The main aim of this paper is to investigate the structure of R_0-algebras, with the notion of normal MP-ideals in R_0-algebras introduced. The relations between normal MP-ideals and MP-ideals are given. The characterization property and the extension property of normal MP-ideals are obtained. The normal R_0-algebras are completely characterized by the normal MP-ideals.