Ir al contenido

Documat


Resumen de A logic for order of magnitude reasoning with negligibility, non-closeness and distance

Alfredo Burrieza Muñiz Árbol académico, Emilio José Muñoz Velasco, Manuel Ojeda Aciego Árbol académico

  • This paper continues the research line on the multimodal logic of qualitative reasoning; specifically, it deals with the introduction of the notions non-closeness and distance. These concepts allow us to consider qualitative sum of medium and large numbers. We present a sound and complete axiomatization fo this logic, together with some of its advantages by means of an example.


Fundación Dialnet

Mi Documat