Generalized Bosbach states. I

From MaRDI portal
Publication:2377355





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.



Cites work


Cited in
(38)








This page was built for publication: Generalized Bosbach states. I

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2377355)