La logique des parties fractionnaires de nombres réels - 07/06/16
Bienvenue sur EM-consulte, la référence des professionnels de santé.
L’accès au texte intégral de cet article nécessite un abonnement.
| pages | 4 |
| Iconographies | 0 |
| Vidéos | 0 |
| Autres | 0 |
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 de Bouchy, Finkel et Leroux (Decomposition of decidable first-order logics over integers and reals, in : Temporal Representation and Reasoning, Proceedings of the 15th Symposium TIME 2008, IEEE Computer Society Press, 2008, pp. 147–155). Dans cette note, on donne une axiomatisation de cette structure, et on montre qu'elle admet l'élimination des quantificateurs.
Le texte complet de cet article est disponible en PDF.Abstract |
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 of Bouchy, Finkel and Leroux (Decomposition of decidable first-order logics over integers and reals, in: Temporal Representation and Reasoning, Proceedings of the 15th Symposium TIME 2008, IEEE Computer Society Press, 2008, pp. 147–155). In this note, we axiomatize this structure and show that it admits quantifier elimination.
Le texte complet de cet article est disponible en PDF.Plan
Vol 354 - N° 7
P. 645-648 - juillet 2016 Retour au numéro
Article précédent
- Dossier Sommaire
- Deux analogues au déterminant de Maillet
- Serhii Dyshko, Philippe Langevin, Jay A. Wood
Bienvenue sur EM-consulte, la référence des professionnels de santé.
L’accès au texte intégral de cet article nécessite un abonnement.
Bienvenue sur EM-consulte, la référence des professionnels de santé.
L’achat d’article à l’unité est indisponible à l’heure actuelle.
Déjà abonné à cette revue ?