Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
yti vyqsgev sxs xesyxev hi igrigri ix sxpywesi i ix eywesi
 

Summary: yti vyqsgev
sxs xesyxev hi igrigri ix sxpywesi i ix eywesi
vefyeysi h9sxpywesi hi v9igyvi yvigrxsi
Une nouvelle présentation de
l'arithmétique de Heyting
Lisa Allali
Ens Cachan
Stage de Master 2 MPRI
Sous la direction de Gilles Dowek
Résumé : ne théorie modulo T , est onstituée d9un ensemle d9xiomes T et d9une ongruene dé(nie
pr des règles de rééritureF xotre trvil porté sur l9étude de l9églité dns l9rithmétique de reytingD et plus
prtiulièrement omment intégrer un lgorithme de déidilité de l9églité sous forme d9un ensemle de règles
de rééritures à une présenttion modulo de l9rithmétique de reytingF in prtiulierD nous vons remplé
l9xiome de veiniz X xy x = y P(x) P(y) pr un ensemle de règles de réériture dé(nissnt l9églitéD
et vons prouvé que notre théorie étit équivlente à l présenttion usuelle de l9rithmétique de reyting qui
inlut ette xiomeF xous vons ussi montré que ette théorie l propriété d9élimintion des oupuresF
P
Q
Introduction
v dédution modulo est un formlisme qui pour ojetif de distinguer dns une preuve les étpes de riE

  

Source: Allali, Lisa - Laboratoire d’Informatique, École Polytechnique

 

Collections: Computer Technologies and Information Sciences