Résolution d'équations et déduction naturelle

Cet article analyse la structure logique de raisonnements mathématiques. Il identifie, au travers du formalisme de la déduction naturelle, un ensemble de mécanismes déductifs propositionnels pouvant intervenir dans le cadre de la résolution d'équations. En outre, il dégage une classification de ces mécanismes qui permet de rendre compte à la fois de leur pluralité et de leurs différents niveaux de complexité.