Talk:List of Boolean algebra topics
From Wikipedia, the free encyclopedia
 |
|||||
| Mathematics rating: | Start Class | High Priority | Field: Foundations, logic, and set theory | ||
| Please update this rating as the article progresses, or if the rating is inaccurate. Please also add comments to suggest improvements to the article. | |||||
[edit] List updater
In subsection A below, listed are articles which are missing from the List of Boolean algebra topics. They were found by looking in the categories in subsection C. One can add more categories to be searched to subsection C, see some suggestions in subsection D.
All this process can be restarted by clicking on the link at the bottom of subsection D.
Please note that anything around here is editable, but please don't modify the lines of the form
- <!-- bottag:X:begin -->
or their order.
[edit] A: Articles missing from the List of Boolean algebra topics
[edit] B: Place here articles not wanted either in the List of Boolean algebra topics or in subsection A.
[edit] C: Categories to be searched
The bot will look for potential additions to the List of Boolean algebra topics in this list of categories. You may add any other categories to this list, for example from subsection D below. Use the format [[:Category:XXX]] (the colon (:) shows uadsfasdfafdp twice!).
[edit] D: Potential searchable categories
Move up to subsection C any categories which the bot should search for missing articles in the List of Boolean algebra topics.
[edit] E: Articles in List of Boolean algebra topics not in categories
May be redirects or articles which should be removed/categorized.
Marshall Harvey Stone -- Monadic Boolean algebra -- Boolean algebra (structure) -- First-order logic -- Indicator function -- Ampheck -- Minimal negation operator -- Peirce's law -- Material conditional -- Formal system -- Sole sufficient operator -- Boolean satisfiability problem -- Logical disjunction -- Field of sets -- William Stanley Jevons -- Logical matrix -- Complete Boolean algebra -- De Morgan's laws -- Implicant -- Truth table -- John Venn -- Existential graph -- Boolean conjunctive query -- Boolean algebra (logic) -- Functional completeness -- Boolean prime ideal theorem -- Sheffer stroke -- Venn diagram -- Entitative graph -- Boolean domain -- Boole's syllogistic -- Symmetric difference -- Laws of Form -- Peirce arrow -- Boolean analysis -- Augustus De Morgan -- Laws of classical logic -- Logical connective -- Conditioned disjunction -- Majority function -- Interior algebra -- And-inverter graph -- Boolean algebra (introduction) -- Logical graph -- Disjunctive normal form -- Logical negation -- Boolean function -- Logical NOR -- Heyting algebra -- Stone duality -- Zhegalkin polynomial -- Exclusive or -- Algebraic normal form -- Boolean-valued model -- Algebra of sets -- Lindenbaum–Tarski algebra -- Free Boolean algebra -- Logical conjunction -- Boolean algebras canonically defined -- Two-element Boolean algebra -- Karnaugh map -- Canonical form (Boolean algebra) -- Charles Peirce -- Duality (order theory) -- Consensus theorem -- Ivan Ivanovich Zhegalkin -- Logic gate -- Boolean-valued function -- Conjunctive normal form -- George Boole -- Logical equality -- Logical biconditional -- Johnston diagram -- Derivative algebra (abstract algebra) -- Logical implication -- Compactness theorem -- Logical value -- Minilog -- Topological Boolean algebra -- Stone's representation theorem for Boolean algebras -- Propositional calculus --
[edit] Make this a category?
Despite its usefulness, this seems like an unencyclopedic list, and I think it would make much more sense as a category on Boolean algebra instead. (After all, it's a collection of articles about a topic.) --Leapfrog314 05:53, 15 April 2006 (UTC)
-
- One could also try organizing this list--something that cannot be done with categories. Categories are a straightjacket. Michael Hardy 22:37, 15 April 2006 (UTC)
