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 条
  • [21] Randomized Truth Degree of Formula in 5-valued Diamond Lattice Logic
    Zuo, Weibing
    2010 2ND IEEE INTERNATIONAL CONFERENCE ON INFORMATION AND FINANCIAL ENGINEERING (ICIFE), 2010, : 571 - 575
  • [22] α-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,
  • [23] Truth Degrees Theory and Approximate Reasoning in 3-Valued Propositional Pre-Rough Logic
    Ma, Yingcang
    Zhang, Juanjuan
    Liu, Huan
    JOURNAL OF APPLIED MATHEMATICS, 2013,
  • [24] Linguistic truth-valued lattice-valued propositional logic system lP(X) based on linguistic truth-valued lattice implication algebra
    Lai, Jiajun
    Xu, Yang
    INFORMATION SCIENCES, 2010, 180 (10) : 1990 - 2002
  • [25] 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
  • [26] Quasi-truth Degree of Formula in Lukasiewicz 3-valued Logic System
    Zuo, Weibing
    2010 2ND INTERNATIONAL CONFERENCE ON COMPUTER AND AUTOMATION ENGINEERING (ICCAE 2010), VOL 2, 2010, : 229 - 233
  • [27] α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic ℒV(n×2)P(X)
    Jiafeng Zhang
    Yang Xu
    Xingxing He
    International Journal of Computational Intelligence Systems, 2014, 7 : 160 - 171
  • [28] a- Generalized Semantic Resolution Method in Linguistic Truth- valued Propositional Logic L V ( n ε 2) P(
    Zhang, Jiafeng
    Xu, Yang
    He, Xingxing
    INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, 2014, 7 (01) : 160 - 171
  • [29] The Γ-truth degrees of formulas in propositional logic system R0L3n+1 with properties
    Wu, Hong-Bo
    Zhou, Jian-Ren
    Jisuanji Xuebao/Chinese Journal of Computers, 2015, 38 (08): : 1672 - 1679
123