skip to main content
LOTERRE

LOTERRE

Search from vocabulary

Content language

| español français
Search help

Concept information

mathematical logic > Boolean algebra

Preferred term

Boolean algebra  

Definition(s)

  • In abstract algebra, a Boolean algebra or Boolean lattice is a complemented distributive lattice. This type of algebraic structure captures essential properties of both set operations and logic operations. A Boolean algebra can be seen as a generalization of a power set algebra or a field of sets, or its elements can be viewed as generalized truth values. It is also a special case of a De Morgan algebra and a Kleene algebra (with involution). Every Boolean algebra gives rise to a Boolean ring, and vice versa, with ring multiplication corresponding to conjunction or meet ∧, and ring addition to exclusive disjunction or symmetric difference (not disjunction ∨). However, the theory of Boolean rings has an inherent asymmetry between the two operators, while the axioms and theorems of Boolean algebra express the symmetry of the theory described by the duality principle.
    (Wikipedia, The Free Encyclopedia, https://en.wikipedia.org/wiki/Boolean_algebra_(structure))

Narrower concept(s)

Synonym(s)

  • Boolean lattice

In other languages

URI

http://data.loterre.fr/ark:/67375/PSR-D2W638N6-D

Download this concept:

RDF/XML TURTLE JSON-LD Last modified 7/28/23