Theory of truth degrees of formulas in Łukasiewiczn-valued propositional logic and a limit theorem

被引:0
|
作者
Bijing Li
Guojun Wang
机构
[1] Shaanxi Normal University,Institute of Mathematics
[2] Xi’an Jiaotong University,Research Center for Science
关键词
Łukasiewicz; -valued propositional logic; truth degree; limit theorem; integrated truth degree;
D O I
暂无
中图分类号
学科分类号
摘要
The concept of truth degrees of formulas in Łukasiewiczn-valued propositional logicLn is proposed. A limit theorem is obtained, which says that the truth functionτn induced by truth degrees converges to the integrated truth functionτ whenn converges to infinite. Hence this limit theorem builds a bridge between the discrete valued Łukasiewicz logic and the continuous valued Łukasiewicz logic. Moreover, the results obtained in the present paper is a natural generalization of the corresponding results obtained in two-valued propositional logic.
引用
收藏
页码:727 / 736
页数:9
相关论文
共 50 条
  • [1] Theory of truth degrees of formulas in ■ukasiewicz n-valued propositional logic and a limit theorem
    LI Bijing1 & WANG Guojun1
    2. Research Center for Science
    Science in China(Series F:Information Sciences), 2005, (06) : 727 - 736
  • [2] Theory of truth degrees of formulas in Lukasiewicz n-valued propositional logic and a limit theorem
    Li, BJ
    Wang, GJ
    SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2005, 48 (06): : 727 - 736
  • [3] Theory of (n) truth degrees of formulas in modal logic and a consistency theorem
    Wang GuoJun
    Duan QiaoLin
    SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2009, 52 (01): : 70 - 83
  • [4] Theory of (n) truth degrees of formulas in modal logic and a consistency theorem
    WANG GuoJun1
    2 Research Center for Science
    Science China(Information Sciences), 2009, (01) : 70 - 83
  • [5] Theory of (n) truth degrees of formulas in modal logic and a consistency theorem
    WANG GuoJun DUAN QiaoLin Institute of Mathematics Shaanxi Normal University Xian China Research Center for Science Xian Jiaotong University Xian China
    ScienceinChina(SeriesF:InformationSciences), 2009, 52 (01) : 70 - 83
  • [6] Theory of (n) truth degrees of formulas in modal logic and a consistency theorem
    GuoJun Wang
    QiaoLin Duan
    Science in China Series F: Information Sciences, 2009, 52 : 70 - 83
  • [7] Theory of integral truth degrees of formula in SMTL propositional logic
    Li, Jun
    Yao, Jin-Tao
    Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2013, 41 (05): : 878 - 883
  • [8] Truth Degrees Theory and Approximate Reasoning in 3-Valued Propositional Pre-Rough Logic
    Ma, Yingcang
    Zhang, Juanjuan
    Liu, Huan
    JOURNAL OF APPLIED MATHEMATICS, 2013,
  • [9] THEOREY OF VECTOR TRUTH DEGREES OF FORMULAS IN TWO-VALUED PREDICATE LOGIC
    Qin, Xiao-Yan
    Xu, Yang
    PROCEEDINGS OF 2013 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS (ICMLC), VOLS 1-4, 2013, : 1724 - 1728
  • [10] Theory of truth degrees of propositions in two-valued logic
    Guojun Wang
    Li Fu
    Jianshe Song
    Science in China Series A: Mathematics, 2002, 45 (9): : 1106 - 1116