Skip to main content
SpringerLink
Log in

Theory of truth degrees of propositions in two-valued logic

  • Published:
Science in China Series A: Mathematics Aims and scope Submit manuscript

Abstract

By means of infinite product of evenly distributed probabilistic spaces of cardinal 2 this paper introduces the concepts of truth degrees of formulas and similarity degrees among formulas, and a pseudo-metric on the set of formulas is derived therefrom, this offers a possible framework for developing an approximate reasoning theory of propositions in two-valued logic.

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. Wang Guojun, Theory of Σ-(α-tautologies) in revised Kleene systems, Science in China, Ser. E, 1998, 4(2):188–195.

    Article  Google Scholar 

  2. Wang Guojun, Non-classic Logic and Approximate Reasoning (in Chinese), Beijing: Science Press, 2000.

    Google Scholar 

  3. Wang Guojun, Wang Wei, Logic metric space, Acta Mathematica Sinica (in Chinese), 2001, 44(1): 159–168.

    MATH  MathSciNet  Google Scholar 

  4. Rosser, J. B., Turquette, A. R., Many-Valued Logics, Amsterdam: North-Holland, 1952.

    MATH  Google Scholar 

  5. Pavelka, J., On fuzzy logic I, II, III, Zeitschr. f. Math. Logik u. Grundlagen d. Math., 1979, 25: 45–52, 119–134, 447–464.

    Article  MATH  MathSciNet  Google Scholar 

  6. De Glas, M., Knowledge representation in a fuzzy setting, Tech. Rep. 89/48, Université Paris VI, Laforia, 1989.

    Google Scholar 

  7. Wang Shiqiang, Meng Xiaoqing, Mathematical Logic and Category Theory with Applications (in Chinese), Beijing: Beijing Normal University Press, 1999.

    Google Scholar 

  8. Ying Mingsheng, A logic for approximate reasoning, J. Symbolic Logic, 1994, 59: 830–837.

    Article  MATH  MathSciNet  Google Scholar 

  9. Wang Guojun, A univeral theory of measure and integral on valuation spaces with respect to diverse implication operators, Science in China, Ser. E, 2000, 43(6): 586–594.

    MATH  Google Scholar 

  10. Halmos, P. R., Measure Theory, New York: Springer-Verlag, 1974.

    MATH  Google Scholar 

  11. Zadeh, L. A., Similarity relations and fuzzy ordering, Information Sciences, 1971, 3: 177–200.

    Article  MATH  MathSciNet  Google Scholar 

  12. Dubois, D., Prade, H., Fuzzy Sets and Systems, New York: Academic Press, 1980.

    MATH  Google Scholar 

  13. Hamilton, A. G., Logic For Mathematicians, London: Cambridge University Press, 1978.

    MATH  Google Scholar 

  14. Wang Guojun, Generalized MP, J. Shaanxi Normal University, 2000, 28(3): 1–10.

    Google Scholar 

  15. Wang Guojun, The full implication triple I method for fuzzy reasoning, Science in China, Ser. E (in Chinese), 1999, 29(1): 43–53.

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Research Center for Science, Xi’an Jiaotong University, 710049, Xi’an, China

    Wang Guojun

  2. Institute of Mathematics, Shaanxi Normal University, 710062, Xi’an, China

    Wang Guojun

  3. Qinghai Nationality College, 810000, Xining, China

    Li Fu

  4. Xi’an Hi-Tech Institute, 710025, Xi’an, China

    Jianshe Song

Authors
  1. Wang Guojun
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Li Fu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jianshe Song
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Wang Guojun.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Wang, G., Fu, L. & Song, J. Theory of truth degrees of propositions in two-valued logic. Sci. China Ser. A-Math. 45, 1106–1116 (2002). https://doi.org/10.1360/02ys9122

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1360/02ys9122

Keywords

Search

Navigation