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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

that can be used to simplify a Boolean algebra expression. Maurice Karnaugh introduced it in 1953 as a refinement of Edward W. Veitch's 1952 Veitch chart...

ternary operator that is TRUE just when exactly one of its arguments is. Using the laws of Boolean algebra, every propositional logic formula can be transformed...

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

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

Bitwise operation Binary function Boolean domain Boolean logic Boolean-valued function List of Boolean algebra topics Logical constant Modal operator Propositional...

Characteristic of some logical systems Conjunction/disjunction duality – Properties linking logical conjunction and disjunction List of Boolean algebra topics NAND...

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