|Títol||Logics for approximate and strong entailment|
|Publication Type||Journal Article|
|Year of Publication||2012|
|Authors||Esteva F, Godo L, Rodriguez ROscar, Vetterlein T|
|Journal||Fuzzy Sets and Systems|
|Paraules clau||Approximate entailment, Non-classical logics, Similarity-based reasoning, Strong entailment|
We consider two kinds of similarity-based reasoning and formalise them in a logical setting. In one case, we are led by the principle that conclusions can be drawn even if they are only approximately correct. This leads to a graded approximate entailment, which is weaker than classical entailment. In the other case, we follow the principle that conclusions must remain correct even if the assumptions are slightly changed. This leads to a notion of a graded strong entailment, which is stronger than classical entailment. We develop two logical calculi based on the notions of approximate and of strong entailment, respectively.
- Quant a IIIA