zbMATH — the first resource for mathematics

Probabilistic averaging in bounded commutative residuated \(\ell\)-monoids. (English) Zbl 1105.06011
The paper deals with a characterization of Bosbach states on bounded commutative residuated \(l\)-monoids. This class of algebras can be obtained from BL-algebras by omitting the defining identity of prelinearity (i.e. \((x\to y)\vee (y\to x)\approx 1\)). The paper in fact generalizes two basic results on states, which are known for MV-algebras, to the case of the above-mentioned algebras. The first one says that, given a bounded commutative residuated \(l\)-monoid \(\mathbf{A}\), the set of all states on \(\mathbf{A}\) forms a non-empty compact convex Hausdorff space with respect to the weak topology, and the set of all state-morphisms on \(\mathbf{A}\) is a non-empty compact Hausdorff space. The second result shows that the set of all maximal filters of \(\mathbf{A}\) endowed with the hull-kernel topology is homeomorphic to the space of all state-morphisms (i.e. extremal states) on \(\mathbf{A}\).

06F05 Ordered semigroups and monoids
06D35 MV-algebras
Full Text: DOI
[1] Agliano, P.; Montagna, F., Varieties of BL-algebras I: general properties, J. pure appl. algebra, 181, 105-129, (2003) · Zbl 1034.06009
[2] Chang, C.C., Algebraic analysis of many valued logics, Trans. amer. math. soc., 88, 467-490, (1958) · Zbl 0084.00704
[3] Cignoli, R.; D’Ottaviano, I.M.L.; Mundici, D., Algebraic foundations of many-valued reasoning, (2000), Kluwer Academic Publishers Dordrecht · Zbl 0937.06009
[4] Dvurečenskij, A., States on pseudo MV-algebras, Studia logica, 68, 301-327, (2001) · Zbl 0999.06011
[5] Dvurečenskij, A.; Kalmbach, G., States on pseudo MV-algebras and the hull-kernel topology, Atti sem. mat. fis. univ. modena, 50, 131-146, (2002) · Zbl 1096.06009
[6] Dvurečenskij, A.; Pulmannová, S., New trends in quantum structures, (2000), Kluwer Academic Publishers Ister Science, Dordrecht, Bratislava · Zbl 0987.81005
[7] Georgescu, G., Bosbach states on fuzzy structures, Soft comput., 8, 217-230, (2004) · Zbl 1081.06012
[8] Goodearl, K.R., Partially ordered abelian groups with interpolation, mathematical surveys and monographs, vol. 20, (1986), American Mathematical Society Providence, RI
[9] Hájek, P., Metamathematics of fuzzy logic, (1998), Kluwer Academic Publishers Dordrecht · Zbl 0937.03030
[10] Hájek, P., Basic fuzzy logic and BL-algebras, Soft comput., 2, 124-128, (1998)
[11] Kôpka, F.; Chovanec, F., \(D\)-posets, Math. slovaca, 44, 21-34, (1994) · Zbl 0789.03048
[12] Mundici, D., Interpretation of AF \(C^*\)-algebras in łukasiewicz sentential calculus, J. funct. anal., 65, 15-63, (1986) · Zbl 0597.46059
[13] Mundici, D., Averaging the truth-value in łukasiewicz logic, Studia logica, 55, 113-127, (1995) · Zbl 0836.03016
[14] Rachůnek, J., \(\mathit{DR} \ell\)-semigroups and MV-algebras, Czechoslovak math. J., 48, 365-372, (1998) · Zbl 0952.06014
[15] Rachůnek, J., MV-algebras are categorically equivalent to a class of \(\mathit{DR} \ell_{1(i)}\)-semigroups, Math. bohemica, 123, 437-441, (1998) · Zbl 0934.06014
[16] Rachůnek, J., A duality between algebras of basic logic and bounded representable \(\mathit{DR} \ell\)-monoids, Math. bohemica, 126, 561-569, (2001) · Zbl 0979.03049
[17] J. Rachůnek, J. Slezák, Negation in bounded commutative \(\mathit{DR} \ell\)-monoids, Czechoslovak Math. J., to appear. · Zbl 1164.06325
[18] Swamy, K.L.N., Dually residuated lattice ordered semigroups, Math. ann., 159, 105-114, (1965) · Zbl 0135.04203
[19] Swamy, K.L.N., Dually residuated lattice ordered semigroups, III, Math. ann., 167, 71-74, (1966) · Zbl 0158.02601
[20] Swamy, K.L.N.; Subba Rao, B.V., Isometries in dually residuated lattice ordered semigroups, Math. semin. notes, Kobe univ., 8, 369-380, (1980) · Zbl 0464.06008
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.