Skip to main content
SpringerLink
Log in

A fuzzy logic system based on Schweizer-Sklar t-norm

  • Published:
Science in China Series F: Information Sciences Aims and scope Submit manuscript

Abstract

Based on the Schweizer-Sklar t-norm, a fuzzy logic system UL* is established, and its soundness theorem and completeness theorem are proved. The following facts are pointed out: the well-known formal system SBL∼ is a semantic extension of UL*; the fuzzy logic system IMTLΔ is a special case of UL* when two negations in UL* coincide. Moreover, the connections between the system UL* and some fuzzy logic formal systems are investigated. Finally, starting from the concepts of “the strength of an ‘AND’ operator” by R.R. Yager and “the strength of fuzzy rule interaction” by T. Whalen, the essential meaning of a parameter p in UL* is explained and the use of fuzzy logic system UL* in approximate reasoning is presented.

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. Hajek, P., Metamathematics of Fuzzy Logic, Kluwer Academic Publishers, 1998.

  2. Esteva, F., Godo, L., Monoidal t-norm based logic: Towards a logic for left-continous t-norms, Fuzzy Sets and Systems, 2001, 124: 271–288.

    Article  MATH  MathSciNet  Google Scholar 

  3. Ying, M. S., Perturbation of fuzzy reasoning, IEEE Trans. Fuzzy Sys., 1999, 7: 625–629.

    Article  Google Scholar 

  4. Ying, M. S., Implications operators in fuzzy logic, IEEE Trans. Fuzzy Sys., 2002, 10: 88–91.

    Article  Google Scholar 

  5. Wang, G. J., Non-Classical Mathematical Logic and Approximate Reasoning (in Chinese), Beijing: Science Press, 2000.

    Google Scholar 

  6. Wang, G. J., The full implicational Triple I method for fuzzy reasoning, Science in China (in Chinese), Series E, 1999, 29(1): 43–53.

    MATH  Google Scholar 

  7. Wang, G. J., Song, Q.Y., A new kind of Triple I method and its logic foundation, Progress in Natural Science, 2003, 13(6): 575–581.

    Google Scholar 

  8. Klement, E. P., Navara, M., Propositional Fuzzy Logics Based on Frank t-norms: A Comparison in Fuzzy Sets, Logics and Reasoning About Knowledge (eds. Dubois, D. et al.), Kluwer Academic Publishers, 1999.

  9. Wu, W. M., Generalized tautologies in parametric Kleene’s systems, Fuzzy Systems and Mathematics, 2000, 14(1): 1–7.

    Article  MathSciNet  Google Scholar 

  10. Wang, G. J., Lan, R., Generalized tautologies of the systems H α, J. of Shaanxi Normal University (Natural Science Edition), 2003, 31(2): 1–11.

    MathSciNet  Google Scholar 

  11. Whalen, T., Parameterized R-implications, Fuzzy Sets and Systems, 2003, 134: 231–281.

    Article  MATH  MathSciNet  Google Scholar 

  12. Wang, G. J., Formalized theory of general fuzzy reasoning, Information Sciences, 2004, 160: 251–266.

    Article  MATH  MathSciNet  Google Scholar 

  13. Batyrshin, I., Kaynak, O., Rudas, I., Fuzzy modeling based on generalized conjunction operations, IEEE Transactions on Fuzzy Systems, 2002, 10(5): 678–683.

    Article  Google Scholar 

  14. Song, Q., Kandel, A., Schneider, M., Parameterized fuzzy operators in fuzzy decision making, International Journal of Intelligent Systems, 2003, 18: 971–987.

    Article  MATH  Google Scholar 

  15. Rutkowski, L., Cpalka, K., Flexible neuro-fuzzy systems, IEEE Transactions on Neural Networks, 2003, 14(3): 554–574.

    Article  Google Scholar 

  16. Bubnicki, Z., Uncertain Logics, Variables and Systems, Berlin: Springer, 2002.

    MATH  Google Scholar 

  17. Schweizar, B., Sklar, A., Associative functions and abstract semigroups, Pub. Math. Debrecen, 1963, 10: 69–81.

    Google Scholar 

  18. Schweizar, B., Sklar, A., Associative functions and statistical triangle inequalities, Pub. Math. Debrecen, 18 1961, 8: 169–186.

    Google Scholar 

  19. Klement, E. P., Mesiar, R., Pap, E., Triangular Norms, Volume 8 of Trends in Logic, Dordrecht: Kluwer Academic Publishers, 2000.

    Google Scholar 

  20. Esteva, F., Godo, L., Hajek, P., Navara, M., Residuated fuzzy logic with an involutive negation, Arch. Math. Logic, 2000, 39: 103–124.

    Article  MATH  MathSciNet  Google Scholar 

  21. Yager, R. R., Generalized “AND/OR” operators for multivalued and fuzzy logic, Int. Sym. on Multiple-valued logic (IEEE), 1980, 214–218.

  22. Hajek, P., Observations on non-commutative fuzzy logic, Soft Computing, 2003, 8: 38–43.

    MATH  Google Scholar 

  23. Jenei, S., Montagna, F., A proof of standard completeness for non-commutative monoidal t-norm logic, Neural Network World, 2003, 5: 481–489.

    Google Scholar 

  24. Cheng, Y. Y., An approach to fuzzy operators (Part I), Fuzzy Mathematics, 1982, 2: 1–10.

    Google Scholar 

  25. Ying, M. S., On fuzzy degrees of fuzzy operators, Fuzzy Mathematics, 1984, 4: 1–6.

    MATH  MathSciNet  Google Scholar 

  26. Pei, D. W., Wang, G. J., The completeness and applications of the formal system L *, Science in China (in Chinese), Series E, 2002, 32(1): 56–64.

    MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Science, Ningbo University, Ningbo, 315211, China

    Zhang Xiaohong

  2. School of Computer Science, Northwestern Polytechnical University, Xi’an, 710072, China

    Zhang Xiaohong & He Huacan

  3. Department of Applied Mathematics, Southwest Jiaotong University, Chengdu, 610031, China

    Xu Yang

Authors
  1. Zhang Xiaohong
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. He Huacan
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Xu Yang
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Zhang Xiaohong.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Zhang, X., He, H. & Xu, Y. A fuzzy logic system based on Schweizer-Sklar t-norm. SCI CHINA SER F 49, 175–188 (2006). https://doi.org/10.1007/s11432-006-0175-y

Download citation

  • Received:

  • Accepted:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11432-006-0175-y

Keywords

Search

Navigation