Skip to main content
SpringerLink
Log in

T-Absolute Truth Degree Theory of Formulas in Three-Valued Łukasiewicz Propositional Logic System

  • Conference paper
  • First Online:
International Conference on Oriental Thinking and Fuzzy Logic

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 443))

  • 803 Accesses

Abstract

In three-valued Łukasiewicz propositional logic system, T-absolute truth degree was proposed by combining absolute truth degree with T-truth degree. Also the T-absolute similarity degree and pseudo-distance between two formulas were defined by using the T-absolute truth degree, and some of properties were discussed. It was proved that operations such as \(\neg , \to , \vee , \wedge\) were continuous in the T-absolute pseudo-distance space.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Wang, G.J.: Introduction to Mathematical Logic and Resolution Principle. Science in China Press, Beijing (2006)

    Google Scholar 

  2. Wang, G.J.: Nonclassical Mathematical Logic and Approximate. Science in China Press, Beijing (2008)

    Google Scholar 

  3. Adams, E.W.: A Primer of Probability Logi. CSLI Publications, Stanford (1998)

    Google Scholar 

  4. Baioletti, M., et al.: Simplification rules for the coherent probability assessment problem. Ann. Math. Artif. Intell. 35(12), 11–28 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  5. Wang, G.J., Fu, L., Song J.S.: Theory of Truth Degrees in classical logic system. Sci. China (Ser. A) 31(11), 998–1008 (2001)

    Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  7. Wang, G.J., Zhang, W.X.: Consistency degrees of finite theories in Łukasiewicz propositional Fuzzy logic. Fuzzy Sets Syst. 149(2), 275–284 (2005)

    Article  MATH  Google Scholar 

  8. Zhou, X.N., Wang, G.J.: Consistency degrees of theories in some systems of propositional fuzzy logic. Fuzzy Sets Syst. 152(2), 321–331 (2005)

    Article  MathSciNet  MATH  Google Scholar 

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

    Google Scholar 

  10. Wang, G.J., Hu, M.D.: Z(2)-normable linear structure on two-valued propositional logic meric space. Acta Electronica Sin. 39(4), 899–905 (2011)

    Google Scholar 

  11. Li, J., Li, S.P., Xia, Y.F.: Theory of Truth Degrees in Łukasiewicz n-valued propositional logic. Acta Math. Sin. 47(4), 769–780 (2004)

    Google Scholar 

  12. Li, J., Li, J.S., Zhou, Y.: Absolute truth degree theory formulas in n-valued Łukasiewicz propositional fuzzy logic. J. Lanzhou Univ. Technol. 34(1), 134–138 (2008)

    Google Scholar 

  13. Halmos, P.R.: Measure Theory. Springer, New York (1980)

    Google Scholar 

  14. Wang, T.M.: T-truth degree theory in two-propositional logic system. Comput. Eng. Appl. 46(10), 33–35 (2010)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. College of Mathematics and Computer Science, Yan’an University, Yan’an, 716000, China

    He Jin-Rui, Hui Xiao-Jing & Shuang Jing-Ning

Authors
  1. He Jin-Rui
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hui Xiao-Jing
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Shuang Jing-Ning
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to He Jin-Rui .

Editor information

Editors and Affiliations

  1. Guangzhou Vocational Collg. Sci. & Tech., Guangzhou, China

    Bing-Yuan Cao

  2. West Texas A&M University, Canyon,TX,USA, Liaoning Technical University, Fuxin, China

    Pei-Zhuang Wang

  3. Foreign Affairs Office, National Defense University, Beijing, China

    Zeng-Liang Liu

  4. School of Math and Info. Science, Guangzhou University, Guangzhou, China

    Yu-Bin Zhong

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Jin-Rui, H., Xiao-Jing, H., Jing-Ning, S. (2016). T-Absolute Truth Degree Theory of Formulas in Three-Valued Łukasiewicz Propositional Logic System. In: Cao, BY., Wang, PZ., Liu, ZL., Zhong, YB. (eds) International Conference on Oriental Thinking and Fuzzy Logic. Advances in Intelligent Systems and Computing, vol 443. Springer, Cham. https://doi.org/10.1007/978-3-319-30874-6_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-30874-6_20

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-30873-9

  • Online ISBN: 978-3-319-30874-6

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation