Advanced Search

    Ye Reifen. On the Axiom Systems and the Independence of Axioms for Boolean Algebras[J]. Journal of East China University of Science and Technology, 1992, (1).
    Citation: Ye Reifen. On the Axiom Systems and the Independence of Axioms for Boolean Algebras[J]. Journal of East China University of Science and Technology, 1992, (1).

    On the Axiom Systems and the Independence of Axioms for Boolean Algebras

    • In the reference 1 the author concludes that the conclusion in the references 2, 3, i. e. eight axioms for Boolean algebras due to E. V. Huntington are each other independent, is wrong. We take it that Huntington's eight axioms for Boolean algebra are dependent. Indeed, the conclusion of the reference1is mistaken, and the conclusion in the reference 2, 3is correct. We propose also other two axiom systems for Boolean algebra which are also independent.
    • loading

    Catalog

      /

      DownLoad:  Full-Size Img  PowerPoint
      Return
      Return