<p>Semirings of partial Boolean-valued functions arise in Bishop’s approach to constructive measure theory. In this paper, we treat such semirings axiomatically. Lifting the corresponding result for Boolean rings, we prove a representation theorem à la Stone that aligns with the intended semantics. Moreover, among the semirings at hand, we determine the order of those that are free over finitely many generators.</p>