{
  "id": "0809.0538",
  "version": "v3",
  "published": "2008-09-03T02:08:11.000Z",
  "updated": "2011-12-03T02:32:59.000Z",
  "title": "Boolean Algebras and Logic",
  "authors": [
    "Cheng Hao"
  ],
  "comment": "This paper has been withdrawn by the author. withdrawn",
  "categories": [
    "math.LO"
  ],
  "abstract": "In this article we investigate the notion and basic properties of Boolean algebras and prove the Stone's representation theorem. The relations of Boolean algebras to logic and to set theory will be studied and, in particular, a neat proof of completeness theorem in propositional logic will be given using Stone's theorem from Boolean algebra.",
  "revisions": [
    {
      "version": "v3",
      "updated": "2011-12-03T02:32:59.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "03B05"
    ],
    "keywords": [
      "boolean algebra",
      "stones representation theorem",
      "set theory",
      "basic properties",
      "neat proof"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 0,
      "language": "en",
      "license": "arXiv",
      "status": "editable",
      "adsabs": "2008arXiv0809.0538H"
    }
  }
}