List of Boolean algebra topics
This is a list of topics around Boolean algebra and propositional logic.
Contents
- 1 Articles with a wide scope and introductions
- Boolean functions and connectives 2
- Examples of Boolean algebras 3
- Extensions and generalizations 4
- Syntax 5
- Technical applications 6
- Theorems and specific laws 7
- People 8
- Philosophy 9
- Visualization 10
- Unclassified 11
Articles with a wide scope and introductions
- Algebra of sets Algebra of sets
- Boolean algebra (structure) Boolean algebra (structure)
- Boolean algebra Boolean algebra (logic)
- Field of sets Field of sets
- Logical connective Talk:Logical
- Propositional calculus Propositional calculus
Boolean functions and connectives
- Ampheck Ampheck
- Boolean algebras canonically defined Boolean algebras canonically defined
- Conditioned disjunction Conditioned disjunction
- Evasive Boolean function Evasive Boolean function
- Exclusive or Exclusive or
- Functional completeness Functional completeness
- Logical biconditional Logical biconditional
- Logical conjunction Logical conjunction
- Logical disjunction Logical disjunction
- Logical equality Logical equality
- Logical implication Logical implication
- Logical negation Logical negation
- Logical NOR Logical NOR
- Lupanov representation Lupanov representation
- Majority function Majority function
- Material conditional Material conditional
- Peirce arrow Peirce arrow
- Sheffer stroke Sheffer stroke
- Sole sufficient operator Sole sufficient operator
- Symmetric Boolean function Symmetric Boolean function
- Symmetric difference Symmetric difference
- Zhegalkin polynomial Zhegalkin polynomial
Examples of Boolean algebras
- Boolean domain Boolean domain
- Interior algebra Interior algebra
- Lindenbaum–Tarski algebra Lindenbaum–Tarski algebra
- Two-element Boolean algebra Two-element Boolean algebra
Extensions and generalizations
- Complete Boolean algebra Complete Boolean algebra
- Derivative algebra (abstract algebra) Derivative algebra (abstract algebra)
- First-order logic First-order logic
- Free Boolean algebra Free Boolean algebra
- Heyting algebra Heyting algebra
- Monadic Boolean algebra Monadic Boolean algebra
- skew Boolean algebra Skew lattice
Syntax
- Algebraic normal form Algebraic normal form
- Boolean conjunctive query Boolean conjunctive query
- Canonical form (Boolean algebra) Normal form (Boolean algebra)
- Conjunctive normal form Conjunctive normal form
- Disjunctive normal form Disjunctive normal form
- Formal system Formal system
Technical applications
Theorems and specific laws
- Boolean prime ideal theorem Boolean prime ideal theorem
- Compactness theorem Compactness theorem
- Consensus theorem Consensus theorem
- Duality (order theory) Duality (order theory)
- Laws of classical logic Laws of classical logic
- Peirce's law Peirce's law
- Stone's representation theorem for Boolean algebras Stone's representation theorem for Boolean algebras
People
- George Boole
- Augustus De Morgan
- Jevons, William Stanley William Stanley Jevons
- Peirce, Charles Sanders Charles Peirce
- Stone, Marshall Harvey Marshall Harvey Stone
- Venn, John John Venn
- Zhegalkin, Ivan Ivanovich Ivan Ivanovich Zhegalkin
Philosophy
- Boole's syllogistic Boole's syllogistic
- Boolean implicant Implicant
- Entitative graph Entitative graph
- Existential graph Existential graph
- Laws of Form Laws of Form
- Logical graph Logical graph
Visualization
Unclassified
- Boolean function Boolean function
- Boolean-valued function Boolean-valued function
- Boolean-valued model Boolean-valued model
- Boolean satisfiability problem Boolean satisfiability problem
- Indicator function Indicator function (also called the characteristic function, but that term is used in probability theory for a different concept)
- Espresso heuristic logic minimizer
- Logical matrix Logical matrix
- Logical value Logical value
- Stone duality Stone duality
- Stone space
- Topological Boolean algebra (disambiguation) Topological Boolean algebra