Generalized Bosbach and Riecan states on nucleus-based-Glivenko residuated lattices

Bosbach and Riecan states on residuated lattices both are generalizations of probability measures on Boolean algebras. Just from the observation that both of them can be defined by using the canonical structure of the standard MV-algebra on the unit interval [0, 1], generalized Riecan states and two types of generalized Bosbach states on residuated lattices were recently introduced by Georgescu and Muresan through replacing the standard MV-algebra with arbitrary residuated lattices as codomains. In the present paper, the Glivenko theorem is first extended to residuated lattices with a nucleus, which gives several necessary and sufficient conditions for the underlying nucleus to be a residuated lattice homomorphism. Then it is proved that every generalized Bosbach state (of type I, or of type II) compatible with the nucleus on a nucleus-based-Glivenko residuated lattice is uniquely determined by its restriction on the nucleus image of the underlying residuated lattice, and every relatively generalized Riecan state compatible with the double relative negation on an arbitrary residuated lattice is uniquely determined by its restriction on the double relative negation image of the residuated lattice. Our results indicate that many-valued probability theory compatible with nuclei on residuated lattices reduces in essence to probability theory on algebras of fixpoints of the underlying nuclei.