On the set representation of an orthomodular poset
John Harding, Pavel Pták · Colloquium Mathematicum · 2001
Let $P$ be an orthomodular poset and let $B$ be a Boolean subalgebra of $P$. A mapping $s:P \to \langle 0, 1 \rangle $ is said to be a centrally additive $B$-state if it is order preserving, satisfies $s(a')=1-s(a)$, is additive on couples that contain a