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 条
  • [21] Theory of truth degrees of formulas in Łukasiewiczn-valued propositional logic and a limit theorem
    Bijing Li
    Guojun Wang
    Science in China Series F: Information Sciences, 2005, 48 : 727 - 736
  • [22] THEORY OF N-VALUED POST ALGEBRAS
    ASH, CJ
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 19 (02): : A334 - A334
  • [23] FALSITY ACCUMULATION THEORY IN MULTI-VALUED GODEL LOGIC SYSTEM
    Hui, Xiaojing
    QUANTITATIVE LOGIC AND SOFT COMPUTING, 2012, 5 : 60 - 65
  • [24] Normal Form of n-Valued Lukasiewicz Logic Formulas
    Wang, Qing-Ping
    QUANTITATIVE LOGIC AND SOFT COMPUTING 2016, 2017, 510 : 81 - 88
  • [25] n-VALUED GROUPS: THEORY AND APPLICATIONS
    Buchstaber, Victor M.
    MOSCOW MATHEMATICAL JOURNAL, 2006, 6 (01) : 57 - 84
  • [26] On the Nielsen root theory of n-valued maps
    Robert F. Brown
    Journal of Fixed Point Theory and Applications, 2021, 23
  • [27] Resolution method of linguistic truth-valued propositional logic
    Zou, L
    Liu, X
    Xu, Y
    PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON NEURAL NETWORKS AND BRAIN, VOLS 1-3, 2005, : 1996 - 1999
  • [28] Linguistic truth-valued lattice value propositional logic system lP(X)
    Lai, Jiajun
    Xu, Kaijun
    Xu, Yang
    Zeng, Zhaoyou
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (ISKE 2007), 2007,
  • [29] A determination principle for algebras of n-valued Lukasiewicz logic
    Leustean, Ioana
    JOURNAL OF ALGEBRA, 2008, 320 (10) : 3694 - 3719
  • [30] α-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,
12345