We introduce the family of R-based proto-Boolean rings associated with an arbitrary commutative ring R. They generalize the protoBoolean algebra devised by Brown [4] as a tool for expressing in modern language Boole’s research in The Laws of Thought. In fact the algebraic results from [4] are recaptured within the framework of proto-Boolean rings, along with other theorems. The free Boolean alg...