Riečanová, Zdenka MacNeille completions of \(D\)-posets and effect algebras. (English) Zbl 0967.06008 Int. J. Theor. Phys. 39, No. 3, 859-869 (2000). A characterization of difference posets (and hence of effect algebras, too) with MacNeille completion is given by the property of the so-called strong D-continuity. A difference poset \((P,\leq,\ominus,0,1)\) is called strongly D-continuous if for every \(A,B \subseteq P\) such that \(a \leq b\) whenever \(a \in A\) and \(b \in B\) the following condition holds: \(\bigvee \{ b \ominus a \colon\;a \in A,\;b \in B \} = 0\) iff every lower bound of \(B\) is under the upper bound of \(A\). Reviewer: Josef Tkadlec (Praha) Cited in 7 Documents MSC: 06C15 Complemented lattices, orthocomplemented lattices and posets 03G12 Quantum logic 81P10 Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) Keywords:difference poset; effect algebra; MacNeille completion PDFBibTeX XMLCite \textit{Z. Riečanová}, Int. J. Theor. Phys. 39, No. 3, 859--869 (2000; Zbl 0967.06008) Full Text: DOI