The theory of Δ truth degree in Godel n-valued propositional logic system

被引：0
|
作者：
Zhu Naidiao [1 ]
Hui Xiaojing [1 ]
Gao Xiaoli [1 ]
机构：
[1] Yanan Univ, Coll Math & Comp Sci, Yanan 716000, Peoples R China
来源：
PROCEEDINGS OF THE 35TH CHINESE CONTROL CONFERENCE 2016 | 2016年
基金：
中国国家自然科学基金;
关键词：
Godel n-valued propositional logic system; Delta operator; Delta truth degree; Delta similarity degree; Delta pseudo-metric;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper, Delta operator is introduced in Godel n-valued propositional logic system, Delta truth degree of formula is defined, the methods to calculate Delta similarity degree, pseudo-metric between formulas are given, some basic properties of Delta truth degree and Delta similarity degree, Delta pseudo-metric between formulas are discussed.
引用
收藏
页码：3698 / 3703
页数：6
相关论文
共 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