Reasoning about negligibility and proximity in the set of all hyperreals
type: Item
instance of: scholarly article
title: Reasoning about negligibility and proximity in the set of all hyperreals
zbMATH Open document ID: 1436.03326
author: Philippe Balbiani
published in: Journal of Applied Logic
publication date: 2016-06-30T00:00:00Z
Mathematics Subject Classification ID: 03H05
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 6599735
zbMATH Keywords: qualitative reasoning
zbMATH Keywords: first-order theory
zbMATH Keywords: modal logic
zbMATH Keywords: axiomatization/completeness
zbMATH Keywords: decidability/complexity
zbMATH Keywords: definability
MaRDI profile type: MaRDI publication profile
full work available at URL: j.jal.2016.04.002
OpenAlex ID: W2326088123
cites work: Line-based affine reasoning in Euclidean plane
cites work: Modal logic
cites work: Relational Approach to Order-of-Magnitude Reasoning
cites work: Q3128959
cites work: Model theory.
cites work: A Nonstandard Approach to Option Pricing
cites work: Q4230733
cites work: Q4255575
cites work: A Decision Procedure for the First Order Theory of Real Addition with Order
cites work: A non-standard temporal deductive database system
cites work: Q4218534
cites work: Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance
cites work: Q4298260
cites work: Relative and absolute order-of-magnitude models unified
cites work: Nonstandard versions of conventionally infinite networks
DOI: 10.1016/J.JAL.2016.04.002
description: scientific article; zbMATH DE number 6599735