arXiv Analytics

Sign in

arXiv:0809.0538 [math.LO]AbstractReferencesReviewsResources

Boolean Algebras and Logic

Cheng Hao

Published 2008-09-03, updated 2011-12-03Version 3

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.

Comments: This paper has been withdrawn by the author. withdrawn
Categories: math.LO
Subjects: 03B05
Related articles: Most relevant | Search more
arXiv:math/0012171 [math.LO] (Published 2000-12-18)
On ultraproducts of Boolean Algebras and irr
arXiv:1109.6402 [math.LO] (Published 2011-09-29, updated 2011-12-15)
Extension of Boolean algebra by a Bayesian operator; application to the definition of a Deterministic Bayesian Logic
arXiv:math/9512227 [math.LO] (Published 1995-12-15)
Set theory without choice: not everything on cofinality is possible

Links

Toolbox