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%