Logic of approximate entailment in quasimetric spaces

The logic LAEq discussed in this paper is based on an approximate entailment relation. LAEq generalises classical propositional logic to the effect that conclusions can be drawn with a quantified imprecision. To this end, properties are modelled by subsets of a distance space and statements are of the form that one property implies another property within a certain limit of tolerance. We adopt the conceptual framework defined by E. Ruspini; our work is towards a contribution to the investigation of suitable logical calculi.