A New Theory of T Truth Degree on Godel n-Valued Propositional Logic System

被引：0
|
作者：
Zhu, Nai-Diao [1 ]
Hui, Xiao-Jing [1 ]
Gao, Xiao-Li [1 ]
机构：
[1] Yanan Univ, Coll Math & Comp Sci, Yanan 716000, Peoples R China
来源：
QUANTITATIVE LOGIC AND SOFT COMPUTING 2016 | 2017年 / 510卷
基金：
中国国家自然科学基金;
关键词：
T truth degree; T similarity degree; T pseudo-metric; T divergent degree; T consistent degree; FUZZY LOGICS;
D O I：
10.1007/978-3-319-46206-6_7
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
By adding new operators Delta and similar to, axiomatic expansion of Godel n-valued propositional logic system is introduced, which is denoted by Godel similar to. In this paper, the concept of t truth degree of propositional formula is put forward in Godel similar to (t take Delta,similar to), and the MP rule, HS rule and some related properties are studied; the concepts of t similarity degree, t pseudo-metric between propositional formulas, and t divergent degree and t consistent degree of theory Gamma in Godel similar to are obtained, and their correlation properties are discussed.
引用
收藏
页码：59 / 70
页数：12
相关论文
共 50 条
  • [1] The theory of Δ truth degree in Godel n-valued propositional logic system
    Zhu Naidiao
    Hui Xiaojing
    Gao Xiaoli
    PROCEEDINGS OF THE 35TH CHINESE CONTROL CONFERENCE 2016, 2016, : 3698 - 3703
  • [2] Theory of Δ conditional randomized truth degree in Godel n-valued propositional logic system of adding Δ operator
    Wang, Bo
    Hui, Xiao-Jing
    SCIENCEASIA, 2024, 50 (02): : 1 - 6
  • [3] The Theory of Truth Degree on Vector Representation of Formula in n-valued Lukasiewicz Propositional Logic System
    Gao Xiaoli
    Hui Xiaojing
    Zhu Naidiao
    PROCEEDINGS OF THE 35TH CHINESE CONTROL CONFERENCE 2016, 2016, : 3704 - 3709
  • [4] A Quantitative Method of n-valued Godel Propositional Logic
    Li, Jun
    Zhou, Yan
    2011 INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS AND NEURAL COMPUTING (FSNC 2011), VOL II, 2011, : 81 - 84
  • [5] A Quantitative Method of n-valued Godel Propositional Logic
    Li, Jun
    Zhou, Yan
    2011 INTERNATIONAL CONFERENCE OF ENVIRONMENTAL SCIENCE AND ENGINEERING, VOL 12, PT A, 2012, 12 : 583 - 589
  • [6] 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
  • [7] 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
  • [8] The generalized truth degree of quantitative logic in the logic system Ln* (n-valued NM-logic system)
    Wu, Hongbo
    COMPUTERS & MATHEMATICS WITH APPLICATIONS, 2010, 59 (08) : 2587 - 2596
  • [9] Conditional Truth Degree of a Logic Theory in Two-Valued Propositional Logic System and Its Application
    Gao, Xiang-ni
    Wang, Guo-jun
    QUANTITATIVE LOGIC AND SOFT COMPUTING 2010, VOL 2, 2010, 82 : 285 - 296
  • [10] Graded reasoning in n-valued Lukasiewicz propositional logic
    Zhou, Hongjun
    Wang, Guojun
    ADVANCES IN INTELLIGENT WEB MASTERING, 2007, 43 : 387 - +
12345