第条

关键词:
粗粒度量子逻辑;群值测度;测量扩展
总结:
在中,证明了循环粗粒度量子逻辑上的(实)有符号测度可以作为有符号测度扩展到整个幂代数。后来()这一结果得到了重新证明(并进一步改进),此外,非负度量被证明可以作为非负度量进行扩展。在这两种情况下,所使用的证明技术都是线性代数技术。本文进一步推广了循环粗粒度量子逻辑(或格序群的非负群值测度)上推广群值测度所引用的结果。显然,证明技术与前面的论文完全不同。此外,我们还提供了一个新的组合论证来描述循环粗粒度量子逻辑的所有原子。
参考文献:
[1] M.R.先生。达内尔:格序群理论Dekker,纽约,1995年。MR 1304052|兹比尔0810.06016
[2] A.De Simone、M.Navara和P.Pták:具体有限逻辑的状态扩张.(出现)。
[3] S.Gudder和J.P。马尔坎德:粗粒度度量理论.牛市。波兰学院。科学。数学。28 (1980), 557–564.0628642材料
[4] S.Gudder公司:量子力学中的随机方法北荷兰,1979年。MR 0543489|Zbl 0439.46047号
[5] S.Gudder公司:量子概率空间.程序。阿默尔。数学。Soc.21(1969),286–302。0243793号MR|Zbl 0183.28703号
[6] S.古德尔:经典测度理论的推广SIAM 26(1984),71–89。内政部10.1137/1026002|MR 0735076|Zbl 0559.28003号
[7] P.de Lucia和P.Pták:经典定态量子逻辑.集体数学。80 (1999), 147–154.DOI 10.4064/cm-80-1-147-154|1684578先生
[8] M.Navara和P.Pták:几乎布尔正交模偏序集.J.纯应用。《代数》60(1989),105–111。内政部10.1016/0022-4049(89)90108-4|MR 1014608材料
[9] P.Ovthinikoff:关于Gudder-Marchand逻辑的措施《函数构造理论与函数分析》8(1992),95-98。(俄语)MR 1231108
[10] P.Pták:一些近似布尔正交模偏序集.程序。阿默尔。数学。Soc.126(1998),2039-2046。内政部10.1090/S0002-9939-98-04403-7|MR 1452822
[11] P.Pták:具体量子逻辑.国际。J.理论。物理学。39 (2000), 827–837.内政部10.1023/A:1003626929648|MR 1792201
[12] P.Pták和S.Pulmannová:正交模结构作为量子逻辑Kluwer,Dordrecht/波士顿/伦敦,1991年。MR 1176314号
的合作伙伴
EuDML标志