Book chapter accepted
12/01/21/09:07 Filed in: Book chapter
A. Burrieza, E. Muñoz-Velasco, M. Ojeda-Aciego. Cercanía y despreciabilidad usando lógica con órdenes de magnitud. En Lógica, Conocimiento y Abducción, (C. Barés, F.J. Salguero & F. Soler, ed.) College Publications. 2021. London.
ABSTRACT En este trabajo nos centramos en un enfoque lógico de la importante noción de cercanía, que no ha recibido mucha atención en la bibliografía. Introduciremos una noción de cercanía basada en intervalos llamados intervalos de proximidad, que se utilizarán para decidir los elementos que están cerca unos de otros. Algunas de las intuiciones de esta definición se explican sobre la base de ejemplos. Además, presentamos una noción de despreciabilidad que combinamos con la noción de cercanía. Probamos la capacidad de decisión de la lógica multimodal introducida y, a continuación, mostramos algunos aspectos de la potencia expresiva de nuestra lógica: su capacidad para denotar posiciones particulares de los intervalos de proximidad, la cantidad de intervalos que posee una clase cualitativa dada y su capacidad para definir diferentes tipos de conectivas modales sobre intervalos, sean o no de proximidad.
ABSTRACT En este trabajo nos centramos en un enfoque lógico de la importante noción de cercanía, que no ha recibido mucha atención en la bibliografía. Introduciremos una noción de cercanía basada en intervalos llamados intervalos de proximidad, que se utilizarán para decidir los elementos que están cerca unos de otros. Algunas de las intuiciones de esta definición se explican sobre la base de ejemplos. Además, presentamos una noción de despreciabilidad que combinamos con la noción de cercanía. Probamos la capacidad de decisión de la lógica multimodal introducida y, a continuación, mostramos algunos aspectos de la potencia expresiva de nuestra lógica: su capacidad para denotar posiciones particulares de los intervalos de proximidad, la cantidad de intervalos que posee una clase cualitativa dada y su capacidad para definir diferentes tipos de conectivas modales sobre intervalos, sean o no de proximidad.