量子逻辑考虑的是量子物理系统的事件对应的命题演算,效应代数及伪效应代数是目前量子逻辑研究的主要模型. 任何格效应代数可以表示成MV-代数的并, 但是如何由MV-代数粘合成格效应代数仍然是开问题. 本项目拟给出由一族MV-代数粘合成格效应代数的新方法,特别地利用正交模格与格效应代数的关系给出由正交模格得到格效应代数的方法. 作为对格效应代数粘合方法的应用, 拟对格效应代数的内部结构进行刻画,并构造出一些具有特殊态空间的格效应代数. n-完全伪效应代数是一类重要的伪效应代数,本项目拟利用n-完全伪效应代数中的无限小元及离散态的性质, 给出n-完全伪效应代数同构于整数群与偏序群的字典序乘积的一个区间的充分必要条件, 并建立n-完全伪效应代数与偏序群之间的范畴等价关系. 这将为进一步研究非阿基米德伪效应代数的结构奠定重要的理论基础,同时建立了量子逻辑与偏序群之间的新关系.
英文主题词quantum logics;effect algebras;pasting;partial ordered groups;quantum measures