马琴
- 作品数：3 被引量：3H指数：1
- 供职机构：陕西师范大学数学与信息科学学院更多>>
- 发文基金：中央高校基本科研业务费专项资金国家自然科学基金更多>>
- 相关领域：理学自动化与计算机技术更多>>
- NMG-代数中同态核的结构刻画
- 2017年
- 逻辑代数上的Bosbach态与Rie?an态是经典概率论中Kolmogorov公理的两种不同方式的多值化推广,也是概率计量逻辑中语义计量化方法的代数公理化,是非经典数理逻辑领域中的重要研究分支.现已证明具有Glivenko性质的逻辑代数上的Bosbach态与Rie?an态等价,并且逻辑代数的Glivenko性质是研究态算子的构造和存在性的重要工具,因而是态理论中的研究热点之一.研究了NMG-代数基于核算子的Glivenko性质,证明NMG-代数具有核基Glivenko性质的充要条件是该核算子是从此NMG-代数到其像集代数的同态,并给出NMG-代数中同态核的结构刻画.这里,NMG-代数是刻画序和三角模([0,1 2],T_(NM)),([1 2,1],T_M)的逻辑系统NMG的语义逻辑代数.
- 周红军马琴兰淑敏
- 概率计量逻辑研究进展简述被引量：3
- 2017年
- 不确定性在现实生活中无处不在,将概率论和多值命题逻辑交叉融合来建立不确定性表示与推理模型是不确定性数学领域多年来的研究热点之一。本文将分别从语义计量化、模态形式化与代数公理化三角度简要地介绍概率测度与多值命题逻辑交叉结合方面的研究成果——概率计量逻辑,以及其在逻辑理论的相容度、程度化推理方法、极大相容逻辑理论的刻画、逻辑代数的Stone拓扑表示、相似收敛及其Cauchy完备化等领域中的若干应用与拓展。最后,本文将列出今后有待进一步研究的问题。
- 周红军兰淑敏马琴
- 关键词：剩余格
- (D,N)-蕴涵及其刻画
- 2017年
- 模糊蕴涵在模糊逻辑和近似推理领域中发挥着基础作用,它不但用来解释模糊条件命题还可以描述推理过程,同时在模糊控制、模糊包含测度及图像处理等中也有着诸多应用。按照构造方法,模糊蕴涵主要有(S,N)-蕴涵,R-蕴涵,QL-蕴涵及Yager蕴涵等。本文沿着(S,N)-蕴涵的思路研究模糊蕴涵,通过将(S,N)-蕴涵中的三角余模S放宽为一般模糊析取D,提出(D,N)-蕴涵概念,着重研究(D,N)-蕴涵与D性质间的相互决定关系,主要结果是给出几类(D,N)-蕴涵的等价刻画。
- 马琴周红军
- 关键词：模糊蕴涵
