View source for Wikipedia:WikiProject Logic/Boolean algebra task force

{{shortcut|WP:BATF}}
This page is intended to coordinate efforts of a [[Wikipedia:WikiProject Council/Guide/Task forces|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.
{{TOClimit|limit=3}}

== Current structure ==

Please feel free to expand or correct this section. 

===Articles===

Sorted roughly by focus area; many would fit into more than one area. 

====Introductions====
* [[Boolean logic]], an introductory article with general applications such as computer science
* [[Boolean algebra (introduction)]], a short overview of the subject targeted to a general audience
* [[List of Boolean algebra topics]], overview of topics with hardly any explanation

====Algebra====
* [[Algebraic normal form]], synonym for [[Zhegalkin polynomial]]
* [[Algebra of sets]]
* [[Boolean algebra (structure)]], the lattice theory definition
* [[Boolean algebras canonically defined]] gives an alternative perspective on the structure
* [[Boolean ring]], an algebraic structure equivalent to a Boolean algebra, see also [[Zhegalkin polynomial]]
* [[Complete Boolean algebra]]
* [[Field of sets]], otherwise known as a Boolean algebra
* [[Free Boolean algebra]]
* [[Relation algebra]]
* [[Residuated Boolean algebra]]
* [[Stone duality]], an equivalence between Boolean algebras and totally disconnected Hausdorff spaces
* [[Stone's representation theorem for Boolean algebras]]
* [[Topological Boolean algebra]]
* [[Two-element Boolean algebra]]
* [[Zhegalkin polynomial]], the [[Boolean ring]] basis as alternative to the standard Boolean lattice basis

====Propositional logic====
* [[Boolean algebra (logic)]], an equational theory of truth values

* [[Logical connective]]
* [[Propositional calculus]], on deductive systems for propositional logic
* [[Propositional formula]]
* [[Propositional variable]]

====Computer science====
* [[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 functions====
* [[Boolean-valued function]]
* [[Finitary boolean function]]
* [[Propositional representation]], in very rough shape
* [[Standard Boolean model]] in information retrieval; in bad shape
* [[Truth function]]

====Disambiguation pages====
* [[Boolean algebra]]
* [[Boolean]]
* [[Boolean minimization]] &larr; [[Logic minimization]]

===Redirects===
{{User:Hans Adler/Redirect workshop}}

===Lists from Special:Prefixindex===

* [http://en.wikipedia.org/w/index.php?title=Special%3APrefixindex&from=Boolean&namespace=0 Articles beginning with 'Boolean']
* [http://en.wikipedia.org/w/index.php?title=Special%3APrefixindex&from=Logical&namespace=0 Articles beginning with 'Logical']
* [http://en.wikipedia.org/w/index.php?title=Special%3APrefixindex&from=Proposition&namespace=0 Articles beginning with 'Proposition']

===Wikiprojects===

* {{wplink|Computer Science}}
* {{wplink|Logic}}
* {{wplink|Mathematics}}
* {{wplink|Philosophy}}

== 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 <nowiki>~~~</nowiki> 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. 

# Carl <small>([[User:CBM|CBM]]&nbsp;·&nbsp;[[User talk:CBM|talk]])</small>
# [[User:Hans Adler|Hans Adler]] ([[User talk:Hans Adler|talk]])
# {{user|Pomte}}
# [[User:David Eppstein|David Eppstein]] ([[User talk:David Eppstein|talk]])
# [[User talk:Lambiam|Lambiam]]
# [[User:Paul August|Paul August]] [[User_talk:Paul August|&#9742;]]
# [[User:Vaughan Pratt|Vaughan Pratt]] ([[User talk:Vaughan Pratt|talk]])
# [[User:Trovatore|Trovatore]] ([[User talk:Trovatore|talk]])
# ''[[User talk:Geometry guy|Geometry guy]]''
# [[User:Hugo Herbelin|Hugo Herbelin]] ([[User talk:Hugo Herbelin|talk]])
# {{user|Chalst}}
# [[User:Atasato|Atasato]] ([[User talk:Atasato|talk]])