第条
关键词:
粗粒度量子逻辑;群值测度;测量扩展
总结:
在中,证明了循环粗粒度量子逻辑上的(实)有符号测度可以作为有符号测度扩展到整个幂代数。后来()这一结果得到了重新证明(并进一步改进),此外,非负度量被证明可以作为非负度量进行扩展。在这两种情况下,所使用的证明技术都是线性代数技术。本文进一步推广了循环粗粒度量子逻辑(或格序群的非负群值测度)上推广群值测度所引用的结果。显然,证明技术与前面的论文完全不同。此外,我们还提供了一个新的组合论证来描述循环粗粒度量子逻辑的所有原子。
参考文献:
[2] A.De Simone、M.Navara和P.Pták:具体有限逻辑的状态扩张.(出现)。
[3] S.Gudder和J.P。马尔坎德:粗粒度度量理论.牛市。波兰学院。科学。数学。28 (1980), 557–564.0628642材料
[9] P.Ovthinikoff:关于Gudder-Marchand逻辑的措施《函数构造理论与函数分析》8(1992),95-98。(俄语)MR 1231108
[12] P.Pták和S.Pulmannová:正交模结构作为量子逻辑Kluwer,Dordrecht/波士顿/伦敦,1991年。MR 1176314号