TitleLogics for approximate and strong entailment
Publication TypeJournal Article
Year of Publication2012
AuthorsEsteva F, Godo L, Rodriguez ROscar, Vetterlein T
JournalFuzzy Sets and Systems
Date Published06/2012
KeywordsApproximate 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.