Wikipedia:WikiProject Logic/Boolean algebra task force

This page is intended to coordinate efforts of a task force to organize the Wikipedia articles on subjects relating to Boolean algebra, propositional logic, logical connectives, and their applications. The initial goal is to propose a way to organize these articles and announce the proposal to the appropriate wikiprojects.

Current structure

Please feel free to expand or correct this section.

Articles

• Algebraic normal form, synonym for Zhegalkin polynomial
• Algebra of sets
• Boolean algebra (introduction), a short overview of the subject targeted to a general audience
• Boolean algebra (logic), an equational theory of truth values
• Boolean algebra (structure), a model of that theory
• Boolean algebras canonically defined gives an alternative perspective on the structure
• Boolean datatype
• Boolean domain, synonym for doubleton (two-element set)
• Boolean expression, very stubby
• Boolean function, about "efficient representations", defines "algebraic normal form" and "finitary boolean function".
• Boolean logic, an introductory article with general applications such as computer science
• Boolean ring, an algebraic structure equivalent to a Boolean algebra, see also Zhegalkin polynomial
• Boolean-valued function
• Finitary boolean function
• Free Boolean algebra
• List of Boolean algebra topics, overview of topics with hardly any explanation
• Logical connective
• Propositional calculus, on deductive systems for propositional logic
• Propositional formula
• Propositional representation, in very rough shape
• Propositional variable
• Standard Boolean model in information retrieval; in bad shape
• Stone duality, an equivalence between Boolean algebras and totally disconnected Hausdorff spaces
• Stone's representation theorem for Boolean algebras
• Truth function
• Two-element Boolean algebra
• Zhegalkin polynomial, the Boolean ring basis as alternative to the standard Boolean lattice basis

Disambiguation pages

• Boolean algebra
• Boolean
• Boolean minimization ← Logic minimization

Prefixindex

• Articles beginning with 'Boolean'
• Articles beginning with 'Logical'
• Articles beginning with 'Proposition'

Wikiprojects

• WikiProject Computer Science (talk)
• WikiProject Logic (talk)
• WikiProject Mathematics (talk)
• WikiProject Philosophy (talk)

Interested Wikipedians

If you are interested in this subject and would like to participate in the discussions or be notified when proposals are ready, please add your name to the list below (the code ~~~ will add the name portion of your signature with no timestamp). You may also want to add this page to your watchlist, or monitor this page and the discussion page for changes.

1. Carl (CBM · talk)
2. Hans Adler (talk)
3. Pomte (talk · contribs)
4. David Eppstein (talk)
5. Lambiam
6. Paul August ☎
7. Vaughan Pratt (talk)