We prove that sharply dominating Archimedean atomic lattice effect algebras can be characterized by the property called basic decomposition of elements.As an application we prove the state smearing theorem for these e...We prove that sharply dominating Archimedean atomic lattice effect algebras can be characterized by the property called basic decomposition of elements.As an application we prove the state smearing theorem for these effect algebras.展开更多
基金the National Natural Science Foundation of China (Grant Nos.10771191,10471124)the Natural Science Foundation of Zhejiang Province (Grant Nos.M103057,10771191)the Slovak Research and Development Agency under the contracts SK-CN-017-06 and APVV-0071-06
文摘We prove that sharply dominating Archimedean atomic lattice effect algebras can be characterized by the property called basic decomposition of elements.As an application we prove the state smearing theorem for these effect algebras.
