@prefix psr: <http://data.loterre.fr/ark:/67375/PSR> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

psr:-LCG3ZWKT-0
  skos:prefLabel "structure algébrique"@fr, "algebraic structure"@en ;
  a skos:Concept ;
  skos:narrower psr:-D2W638N6-D .

psr: a skos:ConceptScheme .
psr:-D2W638N6-D
  skos:exactMatch <https://fr.wikipedia.org/wiki/Alg%C3%A8bre_de_Boole_(structure)>, <https://en.wikipedia.org/wiki/Boolean_algebra_(structure)> ;
  skos:broader psr:-NRJSM1FG-4, psr:-LCG3ZWKT-0 ;
  skos:altLabel "anneau de Boole"@fr, "Boolean lattice"@en ;
  skos:prefLabel "algèbre de Boole"@fr, "Boolean algebra"@en ;
  skos:narrower psr:-H0TB5G98-6, psr:-G6RLLV2L-1 ;
  a skos:Concept ;
  skos:definition """En mathématiques, une algèbre de Boole, ou parfois anneau de Boole, est une structure algébrique étudiée en particulier en logique mathématique. Une algèbre de Boole peut être définie soit comme une structure ordonnée particulière, soit comme une structure algébrique particulière, soit comme un anneau (unitaire) dont tout élément égale son carré. Pour tout ensemble, l'ensemble de ses parties est une algèbre de Boole, l'ordre associé étant l'inclusion et les lois d'anneau la différence symétrique et l'intersection. Un autre exemple est donné par l'ensemble des formules du calcul propositionnel prises à équivalence (en logique classique) près (sur un nombre de variables de cardinal arbitraire), l'ordre associé étant la relation de conséquence logique et les lois d'anneau la disjonction exclusive et la conjonction. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Alg%C3%A8bre_de_Boole_(structure)">https://fr.wikipedia.org/wiki/Alg%C3%A8bre_de_Boole_(structure)</a>)"""@fr, """ 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. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Boolean_algebra_(structure)">https://en.wikipedia.org/wiki/Boolean_algebra_(structure)</a>)"""@en ;
  skos:inScheme psr: ;
  dc:modified "2023-07-28"^^xsd:date .

psr:-H0TB5G98-6
  skos:prefLabel "σ-algebra"@en, "σ-algèbre"@fr ;
  a skos:Concept ;
  skos:broader psr:-D2W638N6-D .

psr:-NRJSM1FG-4
  skos:prefLabel "logique mathématique"@fr, "mathematical logic"@en ;
  a skos:Concept ;
  skos:narrower psr:-D2W638N6-D .

psr:-G6RLLV2L-1
  skos:prefLabel "algèbre de la mesure"@fr, "measure algebra"@en ;
  a skos:Concept ;
  skos:broader psr:-D2W638N6-D .