We fix a Boolean subalgebra B of an orthomodular poset P and study the mappings s:P → [0,1] which respect the ordering and the orthocomplementation in P and which are additive on B. We call such functions B-states on P. We first show that every P possesses "enough" two-valued B-states. This improves the main result in [13], where B is the centre of P. Moreover, it allows us to construct a closure-space representation of orthomodular lattices. We do this in the third section. This result may also...

The reaping number ${𝔯}_{m,n}\left(𝔹\right)$ of a Boolean algebra $𝔹$ is defined as the minimum size of a subset $𝒜\subseteq 𝔹\setminus \left\{𝐎\right\}$ such that for each $m$-partition $𝒫$ of unity, some member of $𝒜$ meets less than $n$ elements of $𝒫$. We show that for each $𝔹$, ${𝔯}_{m,n}\left(𝔹\right)={𝔯}_{\lceil \frac{m}{n-1}\rceil ,2}\left(𝔹\right)$ as conjectured by Dow, Steprāns and Watson. The proof relies on a partition theorem for finite trees; namely that every $k$-branching tree whose maximal nodes are coloured with $\ell$ colours contains an $m$-branching subtree using at most $n$ colours if and only if $\lceil \frac{\ell }{n}\rceil <\lceil \frac{k}{m-1}\rceil$.

We consider the question of which loops are capable of expressing arbitrary Boolean functions through expressions of constants and variables. We call this property Boolean completeness. It is a generalization of functional completeness, and is intimately connected to the computational complexity of various questions about expressions, circuits, and equations defined over the loop. We say that a loop is polyabelian if it is an iterated affine quasidirect product of Abelian groups; polyabelianness...

Double Boolean algebras are algebras (D,⊓,⊔,⊲,⊳,⊥,⊤) of type (2,2,1,1,0,0). They have been introduced to capture the equational theory of the algebra of protoconcepts. A filter (resp. an ideal) of a double Boolean algebra D is an upper set F (resp. down set I) closed under ⊓ (resp. ⊔). A filter F is called primary if F ≠ ∅ and for all x ∈ D we have x ∈ F or $x^{⊲}\in F$. In this note we prove that if F is a filter and I an ideal such that F ∩ I = ∅ then there is a primary filter G containing F such that G...