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 条
  • [41] n-Valued Refined Neutrosophic Soft Set Theory
    Alkhazaleh, Shawkat
    2016 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE), 2016, : 2475 - 2480
  • [42] Metric formulas between the n-valued logic and the unreliability of statements in clustering
    Vikent'ev, A. A.
    Kabanova, E. S.
    BULLETIN OF THE KARAGANDA UNIVERSITY-MATHEMATICS, 2015, 80 (04): : 28 - 38
  • [43] Linguistic truth-valued intuitionistic fuzzy propositional logic based on LIA
    Zou, Li
    Wu, Shuiting
    Wu, Zhengjiang
    Xu, Yang
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (ISKE 2007), 2007,
  • [44] THE STRUCTURE OF GENERALIZED LITERALS IN LINGUISTIC TRUTH-VALUED PROPOSITIONAL LOGIC SYSTEMS
    Xu, Weitao
    Xu, Yang
    Li, Tianrui
    INTELLIGENT DECISION MAKING SYSTEMS, VOL. 2, 2010, : 631 - 636
  • [45] THEORY OF Γ-FUZZY TRUTH DEGREE RELATIVE TO FINITE THEORY IN LOGIC SYSTEM Rn
    Xu, Ge Ni
    Li, Yong Ming
    QUANTITATIVE LOGIC AND SOFT COMPUTING, 2012, 5 : 158 - 164
  • [46] Six-element linguistic truth-valued intuitionistic propositional logic
    Zou, Li
    Liu, Xin
    Xu, Yang
    Journal of Information and Computational Science, 2009, 6 (01): : 315 - 320
  • [47] Semantic theory of finite lattice-valued propositional logic
    PAN XiaoDong 1
    2 Intelligent Control Development Center
    Science China(Information Sciences), 2010, 53 (10) : 2022 - 2031
  • [48] Syntax theory of finite lattice-valued propositional logic
    PAN XiaoDong
    MENG Dan
    XU Yang
    Science China(Information Sciences), 2013, 56 (08) : 177 - 188
  • [49] Syntax theory of finite lattice-valued propositional logic
    XiaoDong Pan
    Dan Meng
    Yang Xu
    Science China Information Sciences, 2013, 56 : 1 - 12
  • [50] 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
12345