Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices (Q377479): Difference between revisions

States or measures give a probabilistic interpretation of randomness of events of given algebraic structures. For MV-algebras, Mundici introduced states (an analogue of probability measures) in 1995, as averaging of the truth-value in Łukasiewicz logic. The states have been studied for other algebras of fuzzy structures such as pseudo-BL algebras, bounded non-commutative \(R\ell\)-monoids, residuated lattices, pseudo-BCK semilattices, pseudo-BCK algebras and pseudo-BCI algebras. They have been defined on these algebras with values in \([0,1]\). For the case of bounded residuated lattices, the states were generalized by Ciungu, Georgescu and Mureşan as functions with values in a bounded residuated lattice. In the paper under review the authors extend the Glivenko theorem to residuated lattice with a nucleus. They prove that every generalized Bosbach state 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. It is also proved that every relatively generalized Riečan state compatible with the double relative negation on an arbitrary residuated lattice is uniquely determined by its restriction on the double relative negation image on the residuated lattice.