"Steven"@fr . . . "Halmos"@fr . . . "1993"^^ . "Logique math\u00E9matique I. Calcul propositionnel, alg\u00E8bres de Boole, calcul des pr\u00E9dicats"@fr . . "En math\u00E9matiques, une alg\u00E8bre de Boole, ou parfois anneau de Boole, est une structure alg\u00E9brique \u00E9tudi\u00E9e en particulier en logique math\u00E9matique. Une alg\u00E8bre de Boole peut \u00EAtre d\u00E9finie soit comme une structure ordonn\u00E9e particuli\u00E8re, soit comme une structure alg\u00E9brique particuli\u00E8re, soit comme un anneau (unitaire) dont tout \u00E9l\u00E9ment \u00E9gale son carr\u00E9. Pour tout ensemble, l'ensemble de ses parties est une alg\u00E8bre de Boole, l'ordre associ\u00E9 \u00E9tant l'inclusion et les lois d'anneau la diff\u00E9rence sym\u00E9trique et l'intersection. Un autre exemple est donn\u00E9 par l'ensemble des formules du calcul propositionnel prises \u00E0 \u00E9quivalence (en logique classique) pr\u00E8s (sur un nombre de variables de cardinal arbitraire), l'ordre associ\u00E9 \u00E9tant la relation de cons\u00E9quence logique et les lois d'anneau la disjonction exclusive et la conjonction."@fr . . . . . "242800"^^ . . "Lascar"@fr . . . . . "Ren\u00E9"@fr . . . . . . . . "Givant"@fr . . "2"^^ . . . "26561"^^ . . . . "190686539"^^ . "en"@fr . . . . . . . . . . . . "574"^^ . . "Cori"@fr . . . . . . . "Daniel"@fr . . . . . . . "Introduction to Boolean Algebras"@fr . . . . . . . . . . . . "Alg\u00E8bre de Boole (structure)"@fr . . . . . . . . . . . . . . . . . . . "R\u00E9f\u00E9rence:Logique math\u00E9matique 1"@fr . . "Undergraduate Texts in Mathematics"@fr . . . . "978"^^ . . "\u0411\u0443\u043B\u0435\u0432\u0430 \u0430\u043B\u0433\u0435\u0431\u0440\u0430"@ru . . . . "\u0411\u0443\u043B\u0435\u0432\u0430 \u0430\u043B\u0433\u0435\u0431\u0440\u0430 (\u0441\u0442\u0440\u0443\u043A\u0442\u0443\u0440\u0430)"@uk . . "2009"^^ . . . "En math\u00E9matiques, une alg\u00E8bre de Boole, ou parfois anneau de Boole, est une structure alg\u00E9brique \u00E9tudi\u00E9e en particulier en logique math\u00E9matique. Une alg\u00E8bre de Boole peut \u00EAtre d\u00E9finie soit comme une structure ordonn\u00E9e particuli\u00E8re, soit comme une structure alg\u00E9brique particuli\u00E8re, soit comme un anneau (unitaire) dont tout \u00E9l\u00E9ment \u00E9gale son carr\u00E9."@fr . . . . "Boolean algebra (structure)"@en . "Paul"@fr . "Paul Halmos"@fr . . "Ren\u00E9 Cori"@fr .