Methods Using the definition of effect algebra, sequential effect algebra and the polar decomposition of operator.
方法利用效应代数、序列效应代数的定义及算子分解的方法。
Aim To introduce the logical definition of the horizontal sum of effect algebras and study the uniqueness of sequential products on effect algebra.
给出了效应代数水平和的定义，借助于水平和，列举并讨论了一个效应代数可以具有许多个序列积。
应用推荐