An orthomodular poset which does not admit a normed orthovaluation
Peter D. Meyer, Peter D. Finch · Bulletin of the Australian Mathematical Society · 1970
It is of relevance to studies in the logic of quantum mechanics whether or not every separable completely orthomodular poset admits a normed σ-ortho-valuation. A finite orthomodular poset is constructed which is a counter-example to this proposition.