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

Alfredo Burrieza Muñiz, Emilio José Muñoz Velasco, Manuel Ojeda Aciego

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