| 1. | Boole's work founded the discipline of algebraic logic.
Le travail de Boole a fondé la discipline de la logique algébrique. |
| 2. | She worked in the foundations of mathematics and algebraic logic.
Elle s'est spécialisée dans les fondements des mathématiques et dans la logique algébrique. |
| 3. | In algebraic logic: Variables are tacitly universally quantified over some universe of discourse.
En logique algébrique: Les variables sont tacitement universellement quantifiées sur un univers du discours. |
| 4. | Brady (2000) discusses the rich historical connections between algebraic logic and model theory.
Brady (2000) a examiné les riches liens historiques entre la logique algébrique et la théorie des modèles. |
| 5. | In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with free variables.
Enlogique mathématique, la logique algébrique est le raisonnement obtenu en manipulant des équations avec des variables libres. |
| 6. | Algebraic logic treats algebraic structures, often bounded lattices, as models (interpretations) of certain logics, making logic a branch of the order theory.
La logique algébrique traite les structures algébriques, et les treillis comme modèles (interprétations) de certaines logiques. |
| 7. | In mathematical logic, algebraic semantics is a formal semantics based on algebras studied as part of algebraic logic.
En logique mathématique, la sémantique algébrique est une sémantique formelle basé sur les algèbres étudiés dans le cadre de la logique algébrique. |
| 8. | But nearly all of Leibniz's known work on algebraic logic was published only in 1903 after Louis Couturat discovered it in Leibniz's Nachlass.
Mais la quasi-totalité du travail connu sur la logique algébrique de Leibniz a seulement été publié en 1903 après que Louis Couturat découvre leNachlass de Leibniz. |
| 9. | Leibniz had no influence on the rise of algebraic logic because his logical writings were little studied before the Parkinson and Loemker translations.
Leibniz n'a eu aucune influence sur la montée de la logique algébrique car ses écrits logiques n'ont que peu été étudiés avant les traductions Parkinson et Loemker. |
| 10. | The Source Book underrated the algebraic logic of De Morgan, Boole, Peirce, and Schröder, but devoted more pages to Skolem than to anyone other than Frege, and included Löwenheim (1915), the founding paper on model theory.
L'anthologie sous-estime la logique algébrique de De Morgan, Boole, Peirce et Schröder, mais consacre plusieurs pages à Skolem, et comprend le texte de Löwenheim de 1915, article fondateur de la théorie des modèles. |
