Logics for Approximate Entailment in ordered universes of discourse

The Logic of Approximate Entailment (LAE) is a graded counterpart of classical propositional calculus, where conclusions can be drawn that are only approximately correct. 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 also endowed with an order structure. The chosen framework is designed in view of possible applications.

• Type: Journal
• Year: 2016
• Where: IJAR
• Authors: Thomas Vetterlein, Francesc Esteva, Lluis Godo
• Keywords: IJAR 2016