This is a list of topics around Boolean algebra and propositional logic. Algebra of sets Boolean algebra (structure) Boolean algebra Field of sets Logical...

In abstract algebra, a Boolean algebra or Boolean lattice is a complemented distributive lattice. This type of algebraic structure captures essential properties...

mathematical logic, Boolean algebra is a branch of algebra. It differs from elementary algebra in two ways. First, the values of the variables are the...

Stone's representation theorem for Boolean algebras states that every Boolean algebra is isomorphic to a certain field of sets. The theorem is fundamental...

mathematics, the Boolean prime ideal theorem states that ideals in a Boolean algebra can be extended to prime ideals. A variation of this statement for...

Boolean algebra is a mathematically rich branch of abstract algebra. Stanford Encyclopaedia of Philosophy defines Boolean algebra as 'the algebra of two-valued...

of algebraic structures List of Boolean algebra topics List of category theory topics List of cohomology theories List of commutative algebra topics List...

Chinese remainder theorem Field (mathematics) Algebraic number field Polynomial ring Integral domain Boolean algebra (structure) Principal ideal domain Euclidean...

In Boolean algebra, any Boolean function can be expressed in the canonical disjunctive normal form (CDNF), minterm canonical form, or Sum of Products...

In mathematics, a Heyting algebra (also known as pseudo-Boolean algebra) is a bounded lattice (with join and meet operations written ∨ and ∧ and with...

rings, and fields. Pre-algebra Elementary algebra Boolean algebra Abstract algebra Linear algebra Universal algebra An algebraic equation is an equation...

values (usually "true" and "false") Boolean algebra, a logical calculus of truth values or set membership Boolean algebra (structure), a set with operations...

development of abstract algebraic logic. Algebraic semantics (mathematical logic) Leibniz operator List of Boolean algebra topics S.J. Surma (1982). "On...

Fields of sets play an essential role in the representation theory of Boolean algebras. Every Boolean algebra can be represented as a field of sets. A...

logic and Boolean algebra, De Morgan's laws, also known as De Morgan's theorem, are a pair of transformation rules that are both valid rules of inference...

Cartesian product Class (set theory) Complement (set theory) Complete Boolean algebra Continuum (set theory) Suslin's problem Continuum hypothesis Countable...

Involution List of Boolean algebra topics Logical graph Logical value Propositional calculus Rule 90 XOR cipher XOR gate XOR linked list Germundsson...

algebra Kleene algebra (with involution) Łukasiewicz–Moisil algebra Boolean algebra (structure) Boolean ring Complete Boolean algebra Orthocomplemented...

Boolean logic is a system of syllogistic logic invented by 19th-century British mathematician George Boole, which attempts to incorporate the "empty set"...

Chapter 4 of LoF), whose models include Boolean arithmetic; The primary algebra (Chapter 6 of LoF), whose models include the two-element Boolean algebra (hereinafter...

(structure) Boolean algebras canonically defined Introduction to Boolean algebra Complete Boolean algebra Free Boolean algebra Monadic Boolean algebra Residuated...

First-order logic Fréchet inequalities Homogeneity (linguistics) List of Boolean algebra topics Logical disjunction Logical graph Negation Operation Peano–Russell...

Boolean domain Boolean function Boolean logic Boolean-valued function Catuṣkoṭi Dialetheism Four-valued logic List of Boolean algebra topics Logical conjunction...

space Topology glossary List of topologies List of topology topics List of geometric topology topics List of algebraic topology topics Publications in topology...

Hilbert's program Impredicative Definable real number Algebraic logic Boolean algebra (logic) Dialectica space categorical logic Finite model theory Descriptive...

the notion of partial order is self-dual). Converse relation List of Boolean algebra topics Transpose graph Duality in category theory, of which duality...

reduction of first-order mathematical logic to propositional logicPages displaying wikidata descriptions as a fallback List of Boolean algebra topics Löwenheim–Skolem...

complete Boolean algebras, and the map f − 1 : P ( Y ) → P ( X ) {\displaystyle f^{-1}:P(Y)\to P(X)} is a homomorphism of complete Boolean algebras. Suppose...

equations and algebraic logic, and is best known as the author of The Laws of Thought (1854), which contains Boolean algebra. Boolean logic, essential...

logical function), used in logic. Boolean functions are the subject of Boolean algebra and switching theory. A Boolean function takes the form f : { 0 ...