NMG-代数中同态核的结构刻画

• 作者: 兰淑敏 周红军 马琴
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 概率计量逻辑 NMG-代数 Glivenko定理 同态核
• 年，卷（期）: 2017,（10）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 2539-2547
• 页数: 9页
• 分类号: TP301
• 字数: 7678字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.005175

摘要

逻辑代数上的Bosbach态与Rie(c)an态是经典概率论中Kolmogorov公理的两种不同方式的多值化推广,也是概率计量逻辑中语义计量化方法的代数公理化,是非经典数理逻辑领域中的重要研究分支.现已证明具有Glivenko性质的逻辑代数上的Bosbach态与Rie(c)an态等价,并且逻辑代数的Glivenko性质是研究态算子的构造和存在性的重要工具,因而是态理论中的研究热点之一.研究了NMG-代数基于核算子的Glivenko性质,证明NMG-代数具有核基Glivenko性质的充要条件是该核算子是从此NMG-代数到其像集代数的同态,并给出NMG-代数中同态核的结构刻画.这里,NMG-代数是刻画序和三角模〈([0,1/2],TNM),(1/2,1],TM))的逻辑系统NMG的语义逻辑代数.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周红军	陕西师范大学数学与信息科学学院	29	95	6.0	8.0
2	兰淑敏	陕西师范大学数学与信息科学学院	3	1	1.0	1.0
3	马琴	陕西师范大学数学与信息科学学院	3	0	0.0	0.0