Nous nous proposons dans ce mémoire d'étudier diverses logiques et de donner quelques éléments de théorie de la démonstration et de théorie des modèles. Les logiques analysées sont la logique classique, les logiques modales et temporelles, et la logique intuitionniste. Nous développons pour chacune d'elle les langages formels qui les expriment et leurs sémantiques associées. Quelques comparaisons seront effectuées entre ces logiques afin de mettre en évidence le sens de quelques grandes notions de la logique. Un aperçu sera également donné des différences que peut engendrer la logique intuitionniste dans les mathématiques. Ainsi, quelques grands principes et théorèmes de la mathématique intuitionniste seront présentés, après avoir analysé les rapports étroits entre logique classique et logique intuitionniste.
Introduction à différentes logiques et à la mathématique intuitionniste
Duckerts-Antoine, M. (Auteur). 2006
Student thesis: Master types › Master en sciences mathématiques