Logic for approximate entailment in ordered universes of discourse
Logic
2018-08-31 v1
Abstract
The Logic of Approximate Entailment (LAE) is a graded counterpart of classical propositional calculus, where conclusions that are only approximately correct can be drawn. This is achieved by equipping the underlying set of possible worlds with a similarity relation. When using this logic in applications, however, a disadvantage must be accepted; namely, in LAE it is not possible to combine conclusions in a conjunctive way. In order to overcome this drawback, we propose in this paper a modification of LAE where, at the semantic level, the underlying set of worlds is moreover endowed with an order structure. The chosen framework is designed in view of possible applications.
Keywords
Cite
@article{arxiv.1808.10312,
title = {Logic for approximate entailment in ordered universes of discourse},
author = {Francesc Esteva and Lluís Godo and Thomas Vetterlein},
journal= {arXiv preprint arXiv:1808.10312},
year = {2018}
}