基于关联方向测量的量子关联

通过讨论量子失协的上界,给出可达熵量子关联态的一个必要条件．对于双量子比特系统,利用可获得经典关联的最佳测量定义了关联方向上最小的量子失协,分析得到该度量是量子失协很好的逼近结果．最后,讨论量子关联的动力学过程,发现量子关联在衰减的过程中出现了突然的改变,利用关联方向上最小的量子失协给出了该现象的合理解释．     

格值有限状态机的子系统

提出了格值有限状态机（简记为LFSM）状态后继、子机和子系统的概念，通过LFSM状态集的4种格值子集刻画了LFSM子系统的一系列性质和构成子系统的充分必要条件．最后，通过LFSMs同态的概念得到了子系统的像仍是子系统等结论．     

格值有限状态机的子系统

提出了格值有限状态机（简记为LFSM）状态后继、子机和子系统的概念,通过LFSM状态集的4种格值子集刻画了LFSM子系统的一系列性质和构成子系统的充分必要条件．最后,通过LFSMs同态的概念得到了子系统的像仍是子系统等结论．     

Hilbert代数的若干注记

首先在Hilbert代数上定义了二元序关系和一元运算*,讨论了相关的性质,研究了它与Wa jsberg代数及弱R0 代数之间的关系,由此引入弱Hilbert代数;其次,在弱Hilbert代数上定义了运算,得到了一类剩余格;最后,讨论了弱Hilbert代数的推理系统。