Wikipedia:WikiProject Logic/Boolean algebra task force
This page is intended to coordinate efforts 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:
- 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 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
- Propositional calculus, on deductive systems for propositional logic
- Propositional formula
- Propositional variable
- Propositional representation, in very rough shape
Redirects:
Disambiguation pages:
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).