@MISC{ROBBINS2.MIZ,
  AUTHOR = {Truszkowska, Wioletta and Grabowski, Adam},
  TITLE = {On the Two Short Axiomatizations of Ortholattices},
  SECTION1 = {Single Axiom for Boolean Algebras},
  SECTION2 = {Meredith Two Axioms for Boolean Algebras},
  DAY = {28},
  MONTH = {June},
  YEAR = {2003},
  ADDRESS1 = {University of Bia{\l}ystok},
  ADDRESS2 = {University of Bia{\l}ystok},
  SUMMARY = {In the paper, two short axiom systems for Boolean algebras are introduced.
  In the first section we show that the single axiom (DN${}_1$) proposed
  in \cite{McCune:2001} in terms of disjunction and negation
  characterizes Boolean algebras. To prove that (DN${}_1$) is a single
  axiom for Robbins algebras (that is, Boolean algebras as well), we
  use the Otter theorem prover.
  The second section contains proof that the two classical axioms
  (Meredith${}_1$), (Meredith${}_2$)
  proposed by Meredith \cite{Meredith:1968} may also serve as a basis for
  Boolean algebras.
  The results will be used to characterize ortholattices.}}

