Bélair, Luc et Point, Françoise
(2016).
« La logique des parties fractionnaires de nombres réels ».
Comptes rendus de l'Académie des sciences, série I.
Fichier(s) associé(s) à ce document :
Résumé
Le groupe des décimales avec l'addition modulo 1 et l'ordre naturel, qui n'est pas un groupe ordonné au sens habituel, est utilisé pour améliorer l'efficacité des automates temporels ([1]). Dans cette note, on donne une axiomatisation de cette structure, et on montre qu'elle admet l'élimination des quantificateurs. / ABSTRACT. The logic of fractional parts or real numbers. The group of decimals with addition modulo 1 and the natural order, which is not an ordered group in the usual sense, is used to enhance the efficiency of timed automata ([1]). In this note, we axiomatize this structure and show it admits quantifier elimination.
RECHERCHER
PARCOURIR
LIBRE ACCÈS
