Una visión de las lógicas anexivas

Título original:

A View of Connexive Logics

Contenido del libro:

Este libro es la primera monografía sobre el tema de las lógicas anexivas, una familia de lógicas no clásicas, basadas en la intuición de que una proposición no puede implicar válidamente, ni ser implicada, por su propia negación.

Al igual que las lógicas de relevancia, las lógicas anexivas requieren una conexión de significado entre el antecedente y el consecuente de una implicación válida. La interacción entre la negación y las condicionales, así como con otras conectivas, se acerca más a ciertos usos de éstas en los lenguajes naturales.

El libro no es un estudio completamente exhaustivo de las lógicas anexivas; más bien presenta la propia visión del autor sobre dichas lógicas, con énfasis en las facetas de las mismas que le interesan. Aun así, contiene material suficiente para que el lector se familiarice con esas lógicas, comprenda cómo se originan y cómo se motivan, y los principios teórico-prácticos y teórico-modelos que las sustentan.

Se espera que este libro contribuya a la popularización de las lógicas anexivas y al crecimiento de la, actualmente pequeña, comunidad interesada en ellas.

Nissim Francez es profesor emérito de informática en el Technion, Instituto de Tecnología de Israel.

de Tecnología. En cierto momento de su carrera pasó de la investigación relacionada con las lógicas concurrentes y.

Programación distribuida y verificación de programas a la investigación en lingüística computacional, principalmente semántica formal del lenguaje natural. En los últimos años, ha trabajado en semántica teórico-probatoria, en particular para el lenguaje natural. Más recientemente, ha trabajado también en lógica no clásica, incluida la lógica anexiva.