List of Boolean algebra topics
This is a list of topics around Boolean algebra and propositional logic.
Articles with a wide scope and introductions
- Algebra of sets
- Boolean algebra (structure)
- Boolean algebra
- Field of sets
- Logical connective
- Propositional calculus
Boolean functions and connectives
- Ampheck
- Analysis of Boolean functions
- Balanced Boolean function
- Bent function
- Boolean algebras canonically defined
- Boolean function
- Boolean matrix
- Boolean-valued function
- Conditioned disjunction
- Evasive Boolean function
- Exclusive or
- Functional completeness
- Logical biconditional
- Logical conjunction
- Logical disjunction
- Logical equality
- Logical implication
- Logical negation
- Logical NOR
- Lupanov representation
- Majority function
- Material conditional
- Minimal axioms for Boolean algebra
- Peirce arrow
- Read-once function
- Sheffer stroke
- Sole sufficient operator
- Symmetric Boolean function
- Symmetric difference
- Zhegalkin polynomial
Examples of Boolean algebras
Extensions of Boolean algebras
- Derivative algebra (abstract algebra)
- Free Boolean algebra
- Monadic Boolean algebra
Generalizations of Boolean algebras
Syntax
- Algebraic normal form
- Boolean conjunctive query
- Canonical form (Boolean algebra)
- Conjunctive normal form
- Disjunctive normal form
- Formal system
Technical applications
Theorems and specific laws
- Boolean prime ideal theorem
- Compactness theorem
- Consensus theorem
- De Morgan's laws
- Duality (order theory)
- Laws of classical logic
- Peirce's law
- Stone's representation theorem for Boolean algebras
People
- Boole, George
- De Morgan, Augustus
- Jevons, William Stanley
- Peirce, Charles Sanders
- Stone, Marshall Harvey
- Venn, John
- Zhegalkin, Ivan Ivanovich
Philosophy
Visualization
Unclassified
- Boolean function
- Boolean-valued function
- Boolean-valued model
- Boolean satisfiability problem
- Boolean differential calculus
- 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 value
- Stone duality
- Stone space
- Topological Boolean algebra
- v
- t
- e
- Computer science
- Formal semantics (natural language)
- Inference
- Philosophy of logic
- Proof
- Semantics of logic
- Syntax
Logics | |
---|---|
Theories |
- Abduction
- Analytic and synthetic propositions
- Antecedent
- Consequent
- Contradiction
- Deduction
- Deductive closure
- Definition
- Description
- Entailment
- Linguistic
- Form
- Induction
- Logical truth
- Name
- Necessity and sufficiency
- Premise
- Probability
- Proposition
- Reference
- Statement
- Substitution
- Truth
- Validity
topics |
|
---|---|
other |
- Philosophy portal
- Category
- WikiProject (talk)
- changes