Generalized Bosbach states. I (Q2377355)

In the last two decades there appeared some attempts to introduce a state, an analogue of a probability measure, for some interesting algebraic structures connected with logic. The first one was a state introduced for MV-algebras, later for BL-algebras, called Bosbach states and Riečan states, respectively. These notions were generalized for pseudo MV-algebras, pseudo BL-algebras, MTL-algebras, and residuated lattices. In the considered cases, a state has values in the real interval \([0,1]\). In the paper under review, the authors define generalized Bosbach states as mappings from a residuated lattice with values in a residuated lattice; the case of the real interval \([0,1]\) is not excluded. They introduce Bosbach states of type I and type II. They establish relations between them, and to a Riečan state. In addition, a generalized state-operator is introduced. The main results consist of showing when these states coincide. Finally, some extension property and the Horn-Tarski property are investigated.