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
来源：
Science in China Series F: Information Sciences | 2005年 / 48卷
关键词：
Ł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 条
  • [41] Logical Metric Expressions Based on Truth Degree in Two-Valued Propositional Logic
    Wang, Ai-qing
    Wang, Ting-ming
    ICNC 2008: FOURTH INTERNATIONAL CONFERENCE ON NATURAL COMPUTATION, VOL 7, PROCEEDINGS, 2008, : 706 - +
  • [42] Theory of Approximate Reasoning in Two-Valued Predicate Logic Based on the Quasi-truth Degrees
    秦晓燕
    刘军
    徐扬
    陈树伟
    刘熠
    JournalofDonghuaUniversity(EnglishEdition), 2012, 29 (01) : 23 - 27
  • [43] Theory of approximate reasoning in two-valued predicate logic based on the quasi-truth degrees
    Intelligent Control Development Center, Southwest Jiaotong University, Chengdu 610031, China
    不详
    不详
    J. Donghua Univ., 1 (23-27):
  • [44] A framework of linguistic truth-valued propositional logic based on lattice implication algebra
    Zou, Li
    Ma, Jun
    Xu, Yang
    2006 IEEE INTERNATIONAL CONFERENCE ON GRANULAR COMPUTING, 2006, : 574 - +
  • [45] α-generalized Resolution Method Based on Linguistic Truth-valued Lattice-valued Propositional Logic System
    Xu, Weitao
    2017 12TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (IEEE ISKE), 2017,
  • [46] L-TAUTOLOGY THEORY IN LATTICE-VALUED PROPOSITIONAL LOGIC
    Pan, Xiaodong
    Xu, Kaijun
    Qin, Keyun
    Xu, Yang
    COMPUTATIONAL INTELLIGENCE: FOUNDATIONS AND APPLICATIONS: PROCEEDINGS OF THE 9TH INTERNATIONAL FLINS CONFERENCE, 2010, 4 : 105 - +
  • [47] Consistency Degrees of Theories in Lukasiewicz Fuzzy and n-valued Propositional Logic systems
    Zhang, Jiancheng
    Su, Lianta
    Chen, Shuili
    ICNC 2008: FOURTH INTERNATIONAL CONFERENCE ON NATURAL COMPUTATION, VOL 7, PROCEEDINGS, 2008, : 342 - +
  • [48] Consistency Degrees of Theories in Lukasiewicz Fuzzy and n-Valued Propositional Logic Systems
    Zhang, Jiancheng
    APPLIED COMPUTATIONAL INTELLIGENCE AND SOFT COMPUTING, 2010, 2010
  • [49] Linguistic truth-valued lattice-valued propositional logic system lP(X) based on linguistic truth-valued lattice implication algebra
    Lai, Jiajun
    Xu, Yang
    INFORMATION SCIENCES, 2010, 180 (10) : 1990 - 2002
  • [50] Theory of truth degrees of propositions in the logic system Ln~*
    LI Jun1
    2. School of Sciences
    3. Research Center for Science
    ScienceinChina(SeriesF:InformationSciences), 2006, (04) : 471 - 483
12345