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
Publicado: 2012
Materias:
Acceso en línea:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_01650114_v197_n_p59_Esteva
http://hdl.handle.net/20.500.12110/paper_01650114_v197_n_p59_Esteva
Aporte de:

Ejemplares similares