兰淑敏
- 作品数:3 被引量:5H指数:2
- 供职机构:陕西师范大学数学与信息科学学院更多>>
- 发文基金:国家自然科学基金中央高校基本科研业务费专项资金更多>>
- 相关领域:理学自动化与计算机技术更多>>
- 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完备化等领域中的若干应用与拓展。最后,本文将列出今后有待进一步研究的问题。
- 周红军兰淑敏马琴
- 关键词:剩余格
- 闭区间上单调不减函数的右连续伪逆及其在三角余模构造中的应用被引量:2
- 2019年
- 针对三角模基于单调函数的左连续伪逆的构造法无法直接对偶到三角余模上的情况,提出利用单调函数的右连续伪逆和准逆构造三角余模的方法,找到了与三角模的左连续伪逆构造方法的相对方法。研究了闭区间上单调函数的右连续伪逆的基本性质,分别利用单位闭区间上单调不减函数的右连续伪逆与准逆给出了三角余模的多种构造方法,并通过具体实例加以验证。
- 周红军兰淑敏
- 关键词:单调函数伪逆