三值命题逻辑系统中公式的随机真度的向量化

详细信息    查看全文 | 推荐本文 |

英文篇名：Vector Representation of Randomized Truth Degree of Formulas in 3-valued Propositional Logical System 作者：张超权 ; 刘晓辉 英文作者：ZHANG Chaoquan;LIU Xiaohui; 关键词：三值命题逻辑系统 ; 随机真度 ; 随机相似度 ; 随机伪距离 ; 向量内积。 中文刊名：GLHT 英文刊名：Journal of Guilin University of Aerospace Technology 机构：桂林航天工业学院理学部; 出版日期：2018-03-15 出版单位：桂林航天工业学院学报 年：2018 期：v.23;No.89 基金：广西高校中青年教师基础能力提升项目《多值命题逻辑系统随机向量化的研究》(KY2016YB527) 语种：中文; 页：GLHT201801026 页数：4 CN：01 ISSN：45-1392/V 分类号：134-137

摘要

从向量的角度对三值命题逻辑系统进行了讨论,将公式间相关的计算转化成向量的内积运算,以此为基础对公式间的随机伪距离进行了讨论,得出了逻辑连接词在(F(S),ρp)中是连续的结论。
        

引文

[1]王国俊.数理逻辑引论与归结原理[M].第二版.北京:科学出版社,2006.
    [2]王国俊.计量逻辑学(I)[J].工程数学学报,2006,23(2):191-215.
    [3]惠小静,李宏设,李丽.D-逻辑度量空间中的相容理论[J].模糊系统与数学,2009,23(2):12-17.
    [4]崔美华.经典命题逻辑中公式的D-条件真度及近似推理[J].模糊系统与数学,2010,24(6):34-41。
    [5]李修清,魏海新,林亮.修正的n值G9del逻辑系统的随机化[J].计算机工程与应用,2012,48(24):45-49.
    [6]李修清,朱宁.R0型命题逻辑系统的随机化[J].模糊系统与数学,2013,27(1):63-70.
    [7]李修清,魏海新.n值Lukasiewicz逻辑系统中理论的随机发散度[J].模糊系统与数学,2013,27(6):93-98.
    [8]马巧云,吴洪博.经典逻辑系统中公式的真度及公式间伪距离的一种等价定义[J].模糊系统与数学,2013,27(1):28-33.