1. Algebra and proof theory have traditionally developed in parallel, non-intersecting ways.

Jusqu'ici, l'algèbre et la théorie de la preuve se sont développés séparément.

2. The relationship found between algebra and proof theory was then used for a thorough mathematical analysis of fuzzy logic rules.

Ils ont alors utilisé les relations trouvées entre l'algèbre et la théorie de la preuve pour conduire une analyse mathématique approfondie des règles de la logique floue.

3. Through the close connections with computer science, algebraic proof theory is expected to contribute to research areas outside traditional mathematics.

Grâce à ses relations étroites avec l'informatique, la théorie de la preuve algébrique devrait contribuer aux recherches au-delà des mathématiques classiques.