Article thumbnail

Robbins Algebras vs. Boolean Algebras

By Adam Grabowski

Abstract

In the early 1930s, Huntington proposed several axiom systems for Boolean algebras. Robbins slightly changed one of them and asked if the resulted system is still a basis for variety of Boolean algebras. Partial solution has been given by Winker in 1992 and in 1996 McCune with the help of theorem prover gave the positive answer. Some simplified and restructurized versions of this proof are known. We describe in this paper some of the issues concerned with full mechanically checked proof of the fact that all Robbins algebras are Boolean

Year: 2001
OAI identifier: oai:CiteSeerX.psu:10.1.1.2.5534
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.risc.uni-linz.ac.at... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.