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

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...

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

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...

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

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...

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...

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

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...

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

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

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...

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

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

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

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

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

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

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

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...

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

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

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

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

homological algebra Lie algebra and Lie group theory Boolean algebra, which is widely used for the study of the logical structure of computers The study of types...

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

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...