La logique des parties fractionnaires de nombres réels

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 :
[img]
Prévisualisation
PDF
Télécharger (449kB)

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.

Type: Article de revue scientifique
Informations complémentaires: Dernière version, avril 2016, pratiquement identique à la version à paraître.
Mots-clés ou Sujets: Logique,théorie des modèles.
Unité d'appartenance: Faculté des sciences > Département de mathématiques
Déposé par: Luc Bélair
Date de dépôt: 21 avr. 2016 12:51
Dernière modification: 19 mai 2017 23:11
Adresse URL : http://www.archipel.uqam.ca/id/eprint/8222

Statistiques

Voir les statistiques sur cinq ans...