In this paper, we present a new, necessary, and sufficient condition for which the supremum AB exists with respect to the logic order . Moreover, we give out a new and much simpler representation of AB with respect to . Our results have nice physical meanings.

1.
R. V.
Kadison
,
Proc. Am. Math. Soc.
2
,
505
(
1951
).
2.
S.
Gudder
,
Math. Slovaca
56
,
573
(
2006
).
3.
S.
Pulmannova
and
E.
Vincekova
,
Math. Slovaca
57
,
589
(
2007
).
4.
W. H.
-
Liu
and
J. D.
-
Wu
,
J. Math. Phys.
49
,
073521
(
2008
).
5.
X. -M.
Xu
,
H. -K.
Du
, and
X. C.
-
Fang
,
J. Math. Phys.
50
,
033502
(
2009
).
6.
R. V.
Kadison
and
J. R.
Ringrose
,
Fundamentals of the Theory of Operator Algebra
(
Springer-Verlag
,
New York
,
1983
).
You do not currently have access to this content.