Theory of Δ conditional randomized truth degree in Godel n-valued propositional logic system of adding Δ operator

被引:0
|
作者
Wang, Bo [1 ]
Hui, Xiao-Jing [2 ]
机构
[1] Sichuan Univ, Coll Math, Chengdu 610000, Peoples R China
[2] Yanan Univ, Coll Math & Comp Sci, Yanan 716000, Peoples R China
来源
SCIENCEASIA | 2024年 / 50卷 / 02期
基金
中国国家自然科学基金;
关键词
Delta conditional randomized truth degree; Delta conditional randomized similarity degree; Delta conditional randomized logic metric space; FUZZY LOGICS;
D O I
10.2306/scienceasia1513-1874.2024.008
中图分类号
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号
07 ; 0710 ; 09 ;
摘要
In this paper, Delta conditional randomized truth degree of propositional formula is put forward in Godel n-valued propositional logic system. It adds Delta operator compared with conditional randomized truth degree. On this basis, some inference rules such as MP, HS, intersection inference, union inference and their related properties are studied. At last, the concepts of. conditional randomized similarity degree, Delta conditional randomized pseudo-metric between propositional formulas are given, and their related good properties are discussed.
引用
收藏
页码:1 / 6
页数:6
相关论文
共 29 条
  • [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] A New Theory of T Truth Degree on Godel n-Valued Propositional Logic System
    Zhu, Nai-Diao
    Hui, Xiao-Jing
    Gao, Xiao-Li
    QUANTITATIVE LOGIC AND SOFT COMPUTING 2016, 2017, 510 : 59 - 70
  • [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] 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
  • [7] 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
  • [8] 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
  • [9] 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
  • [10] Graded reasoning in n-valued Lukasiewicz propositional logic
    Zhou, Hongjun
    Wang, Guojun
    ADVANCES IN INTELLIGENT WEB MASTERING, 2007, 43 : 387 - +