Reasoning about negligibility and proximity in the set of all hyperreals - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Applied Logic Année : 2016

Reasoning about negligibility and proximity in the set of all hyperreals

Résumé

We consider the binary relations of negligibility, comparability and proximity in the set of all hyperreals. Associating with negligibility, comparability and proximity the binary predicates N, C and P and the connectives [N], [C] and [P], we consider a first-order theory based on these predicates and a modal logic based on these connectives. We investigate the axiomatization/completeness and the decidability/complexity of this first-order theory and this modal logic.
Fichier principal
Vignette du fichier
balbiani_18903.pdf (623.72 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01739997 , version 1 (21-03-2018)

Identifiants

Citer

Philippe Balbiani. Reasoning about negligibility and proximity in the set of all hyperreals. Journal of Applied Logic, 2016, 16, pp.14-36. ⟨10.1016/j.jal.2016.04.002⟩. ⟨hal-01739997⟩
75 Consultations
50 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More