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

Research output: Book/Report/JournalOther report

49 Downloads (Pure)

Abstract

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é.
Original languageFrench
Number of pages17
Publication statusUnpublished - 2018

Cite this