User:Hans Adler/Redirect workshop

Feel free to add more related articles and update information for articles already covered.

Boolean algebra

• Boolean algebra — what links there
  • Boolean Algebra
  • BooleanAlgebra
• Boolean algebra (introduction) — what links there
  • Boolean algebra (basic concepts)
  • Elementary Boolean algebra
• Boolean algebra (logic) — what links there
  • Boolean search
  • Logic design
  • Logic function
  • Logic operation
  • Boolean equation
  • Boolean problem
  • Complement (boolean algebra)
• Boolean algebra (structure) — what links there
  • Boolean algebras..
  • Boolean lattice
  • Boolean homomorphism
  • Generalized Boolean algebra
  • Generalized Boolean lattice
  • Generalized Boolean semilattice
  • Degenerate Boolean algebra
  • Boolean algebra (history)
• Boolean algebras canonically defined — what links there
• Boolean logic — what links there
  • Boolean Logic
  • Boolean logic (computer science)
  • Boolean logic in computer science
• Boolean ring — what links there
  • Boolean rings
• Stone duality — what links there
  • Stone's duality
• Stone's representation theorem for Boolean algebras — what links there
  • Boolean space
  • Stone's representation theorem
  • Stone space

Boolean functions and connectives

• Boolean function — what links there
  • Boolean functions
  • Boolean operation
  • Boolean operators
  • Finitary boolean function
• Boolean-valued function — what links there
  • Logic 0
  • Logic 1
  • Logic zero
  • Logic one
• Truth function — what links there
  • Truth-function
  • Truth-functions
  • Truth-functional
  • Truth-functional logic
• Logical connective — what links there
  • Boolean operator
  • Connectives
  • Connective (logic)
  • Logical operator
  • Logical operation
  • Logical operators
  • Propositional operator
  • Sentential connective

Propositional logic

• Propositional calculus — what links there
  • Propositional Calculus
  • Propositional (Does this make sense?)
  • Propositional logic''
  • Sentential logic
  • Sentence logic
  • Sentance logic
  • Sentential calculus
  • Truth-functional propositional logic
  • Zeroth order logic
  • Zeroth Order Logic (Note: Zeroth-order logic is still an article!)
• Propositional formula — what links there
  • Sentential formula
  • Propositional form
  • Proposition (mathematics) (Analogous to Lemma (mathematics); should disambiguate.)
• Propositional variable — what links there
  • Proposition variable
  • Sentential variable
• Propositional representation — what links there

Computer science

• Boolean datatype — what links there
  • Boolean data
  • Boolean data type
  • Boolean type
  • Boolean value
• Boolean domain — what links there
  • Boolean variable