Skip to main content
SpringerLink
Log in

Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

Abstract

Bosbach and Riečan 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 Riečan states and two types of generalized Bosbach states on residuated lattices were recently introduced by Georgescu and Mureşan 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 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 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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Mundici D.: Averaging the truth-value in Łukasiewicz sentential logic. Stud. Logica 55, 113–127 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  2. Riečan B.: On the probability on BL-algebras. Acta Math. Nitra 4, 3–13 (2000)

    Google Scholar 

  3. Georgescu G.: Bosbach states on fuzzy structures. Soft Comput. 8, 217–230 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  4. Dvurečenskij A., Rachůnek J.: Probabilistic averaging in bounded commutative residuated ℓ-monoids. Discret. Math. 306, 1317–1326 (2006)

    Article  MATH  Google Scholar 

  5. Liu L.Z.: States on finite monoidal t-norm based algebras. Inform. Sci. 181, 1369–1383 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  6. Ciungu L.C.: Bosbach and Riečan states on residuated lattices. J. Appl. Funct. Anal. 3(2), 175–188 (2008)

    MathSciNet  MATH  Google Scholar 

  7. Turunen E., Mertanen J.: States on semi-divisible residuated lattices. Soft Comput. 12, 353–357 (2008)

    Article  MATH  Google Scholar 

  8. Mertanen J., Turunen E.: States on semi-divisible generalized residuated lattices reduce to states on MV-algebras. Fuzzy Sets Syst. 159, 3051–3064 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  9. Wang, G.J., Wang, W.: Logic metric space. Acta Math. Sinica 44(1), 159–168 (2001) (in Chinese)

    Google Scholar 

  10. Wang G.J., Fu L.: Theory of truth degrees of propositions in two-valued logic. Sci. China A 31(11), 998–1008 (2001)

    Google Scholar 

  11. Wang G.J., Leung Y.: Integrated semantics and logic metric spaces. Fuzzy Sets Syst. 136, 71–91 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  12. Wang G.J., Li B.J.: Theory of truth degrees of formulas in Łkasiewicz n-valued proportional logic and a limit theorem. Sci. China E 35(6), 561–569 (2005)

    Google Scholar 

  13. Zhou H.J., Wang G.J., Zhou W.: Consistency degrees of theories and methods of graded reasoning in n-valued R0-logic (NM-logic). Int. J. Approx. Reason. 43, 117–132 (2006)

    Article  MATH  Google Scholar 

  14. Zhou H.J., Wang G.J.: Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems. Fuzzy Sets Syst. 157, 2058–2073 (2006)

    Article  MATH  Google Scholar 

  15. Wu H.B.: The generalized truth degree of quantitative logic in the logic system \({\fancyscript{L}^{*}_{n}}\) (n-valued NM-logic system). Comput. Math. Appl. 59(8), 2587–2596 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  16. Wang G.J., Zhou H.J.: Quantitative logic. Inform. Sci. 179, 226–247 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  17. Wang, G.J., Zhou, H.J.: Introduction to Mathematical Logic and Resolution Principle, pp. 200–256. Science Press, Beijing (2009)

  18. Zhou H.J., Wang G.J.: Borel probabilistic and quantitative logic. Sci. China Inf. Sci. 54, 1843–1854 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  19. Kroupa T.: Representation and extension of states on MV-algebras. Arch. Math. Logic 45(4), 381–392 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  20. Panti G.: Invariant measures in free MV-algebras. Commun. Alg. 36(8), 2849–2861 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  21. Esteva F., Godo L.: Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst. 124, 271–288 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  22. Wang G.J.: A formal deductive system for fuzzy propositional calculus. Chin. Sci. Bull. 42, 1521–1526 (1997)

    Article  MATH  Google Scholar 

  23. Pei D.W.: On equivalent forms of fuzzy logic systems NM and IMTL. Fuzzy Sets Syst. 138, 187–195 (2003)

    Article  MATH  Google Scholar 

  24. Aguzzoli S., Gerla B.: Probability measures in the logic of nilpotent minimum. Stud. Logica 94, 151–176 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  25. Flaminio, T., Montagna, F.: An algebraic approach to states on MV-algebras. In: Novák, V. (ed.) Fuzzy Logic 2, Proceedings of the 5th EUSFLAT Conference, Ostrava, pp. 201–206 (2007)

  26. Flaminio T., Montagna F.: MV-algebras with internal states and probabilistic fuzzy logic. Int. J. Approx. Reason. 50, 138–152 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  27. Nola A.D., Dvurečenskij A.: State-morphism MV-algebras. Ann. Pure Appl. Logic 161, 161–173 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  28. Dvurečenskij A.: Subdirectly irreducible state-morphism BL-algebras. Arch. Math. Logic 50, 145–160 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  29. Georgescu, G., Mureşan, C.: Generalized Bosbach states. Available at http://arxiv.org/abs/1007.2575 (2010)

  30. Zhou H.J., Zhao B.: Generalized Bosbach and Riečan states based on relative negations in residuated lattices. Fuzzy Sets Syst. 187(1), 33–57 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  31. Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated lattices: an algebraic glimpse at substructural logics, pp. 75–203, 345–374. Elsevier, Tokyo (2007)

  32. Cignoli R., Torrens A.: Glivenko like theorems in natural expansions of BCK-logic. Math. Logic Q. 50, 111–125 (2004)

    Article  MATH  Google Scholar 

  33. Cignoli R., Torrens A.: Free algebras in varieties of Glivenko MTL-algebras satisfying the equation 2(x 2) = (2x)2. Stud. Logica 83, 157–181 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  34. Hájek P.: Metamathematics of Fuzzy Logic, pp. 27–107. Kluwer, Dordrecht (1998)

    MATH  Google Scholar 

  35. Höhle, U.: Commutative, residuated l-monoids. In: Höhle, U., Klement, E.P. (eds) Non-Classical Logics and their Applications to Fuzzy Subsets, pp. 53–106. Kluwer, Dordrecht (1995)

  36. Chang C.C.: Algebraic analysis of many-valued logics. Trans. Am. Math. Soc. 88, 467–490 (1958)

    Article  MATH  Google Scholar 

  37. Zhou H.J., Zhao B.: Stone-like representation theorems and three-valued filters in R 0-algebras (nilpotent minimum algebras). Fuzzy Sets Syst. 162, 1–26 (2011)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. College of Mathematics and Information Science, Shaanxi Normal University, Xi’an, 710062, China

    Bin Zhao & Hongjun Zhou

Authors
  1. Bin Zhao
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hongjun Zhou
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Hongjun Zhou.

Additional information

This work was partially supported by the National Natural Science Foundation of China (Grant nos. 61005046 and 11171196), the Specialized Research Fund for the Doctoral Program of Higher Education of China (Grant no. 20100202120012) and the Natural Science Program for Basic Research of Shaanxi Province, China (Grant no. 2010JQ8020).

Rights and permissions

Reprints and permissions

About this article

Cite this article

Zhao, B., Zhou, H. Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices. Arch. Math. Logic 52, 689–706 (2013). https://doi.org/10.1007/s00153-013-0338-7

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-013-0338-7

Keywords

Mathematics Subject Classification

Search

Navigation