Lattice effect algebras densely embeddable into complete ones
Zdena Riečanová (2011)
Kybernetika
Similarity:
An effect algebraic partial binary operation defined on the underlying set uniquely introduces partial order, but not conversely. We show that if on a MacNeille completion of there exists an effect algebraic partial binary operation then need not be an extension of . Moreover, for an Archimedean atomic lattice effect algebra we give a necessary and sufficient condition for that existing on is an extension of defined on . Further we show that such extending exists...