NMG-代数中同态核的结构刻画
大小：0.55 MB 人气： 2017-12-25 需要积分：3
标签：
逻辑代数上的Bosbach态与Riecan态是经典概率论中Kolmogorov公理的两种不同方式的多值化推广，也是概率计量逻辑中语义计量化方法的代数公理化，是非经典数理逻辑领域中的重要研究分支．现已证明具有Glivenko性质的逻辑代数上的Bosbach态与Riecan态等价，并且逻辑代数的Glivenko性质是研究态算子的构造和存在性的重要工具，因而是态理论中的研究热点之一．研究了NMG-代数基于核算子的Glivenko性质，证明NMG-代数具有核基Glivenko性质的充要条件是该核算子是从此NMG-代数到其像集代数的同态，并给出NMG-代数中同态核的结构刻画，这里，NMG-代数是刻画序和三角模（（［0，1/2］，TNM），（［1/2，1），TM））的逻辑系统NMG的语义逻辑代数．
非常好我支持^.^
(0) 0%
不好我反对
(0) 0%