, Volume 19, Issue 3, pp 263-276

Solution of the Robbins Problem

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


In this article we show that the three equations known as commutativity,associativity, and the Robbins equation are a basis for the variety ofBoolean algebras. The problem was posed by Herbert Robbins in the 1930s. Theproof was found automatically by EQP, a theorem-proving program forequational logic. We present the proof and the search strategies thatenabled the program to find the proof.