效应代数成为布尔代数的充要条件
李海洋
Necessary and sufficient condition which effect algebra becomes Boole algebra
LI Haiyang
计算机工程与应用 . 2013, (13): 5 -7 .