Logics for approximate and strong entailments

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. I...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Esteva, F., Godo, L., Rodríguez, R.O., Vetterlein, T.
Formato: JOUR
Materias:
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_01650114_v197_n_p59_Esteva
Aporte de:

Ejemplares similares