Possibly Relevant Translations

Resumen Técnico: Posibles Traducciones Relevantes

Problema y Motivación
El artículo aborda la relación estructural entre las lógicas relevantes (específicamente el linaje de Anderson–Belnap) y las lógicas modales normales. Si bien la traducción de la lógica intuicionista a la lógica modal clásica (vía la traducción de Gödel–McKinsey–Tarski) ha fomentado históricamente un intercambio significativo entre tradiciones, una traducción sistemática y comparable entre las lógicas relevantes y las modales sigue estando subdesarrollada. El autor pretende establecer traducciones completas y fieles desde las lógicas relevantes hacia las lógicas modales normales para esclarecer las conexiones estructurales, derivar resultados corolarios e identificar las limitaciones en los enfoques de traducción actuales. El trabajo se centra inicialmente en el fragmento positivo $\{\land, \lor, \to\}$ y se extiende gradualmente para incluir la constante de verdad $t$, la fusión $\circ$ y la negación $\neg$.

Metodología
El artículo emplea un enfoque semántico, utilizando transformaciones de modelos entre dos marcos distintos:

1. Marcos de Routley–Meyer: La semántica estándar para las lógicas relevantes, definida como tríos $(K, R, N)$ donde $R$ es una relación ternaria y $N$ es un conjunto de puntos normales, sujetos a restricciones relacionales y de orden específicas (por ejemplo, la condición "down-down-up").
2. Marcos de Kripke: La semántica estándar para las lógicas modales normales, definida como pares $(W, R)$ (o tuplas con relaciones adicionales para lenguajes extendidos).

La metodología central consiste en definir una función de traducción (denotada como $\star$, $\ast$, o $\circ$) de fórmulas relevantes a fórmulas modales. Para demostrar que estas traducciones son completas (si una implicación relevante se cumple, la traducción modal se cumple) y fieles (si la traducción modal se cumple, la implicación relevante se cumple), el autor construye dos transformaciones de modelos:

• $F$: Mapea modelos de Kripke señalados a modelos de Routley–Meyer señalados.
• $G$: Mapea modelos de Routley–Meyer señalados a modelos de Kripke señalados.

Estas transformaciones están diseñadas para satisfacer patrones de adjunción donde la satisfacción en un modelo corresponde a la satisfacción de la fórmula traducida en el otro. El artículo también utiliza la teoría de la correspondencia (específicamente la correspondencia de Sahlqvist) para identificar las condiciones de los marcos en la semántica de Kripke que corresponden a axiomas relevantes específicos.

Contribuciones Clave y Resultados

1. Traducción Positiva Básica ($\star$):

   • El autor define una traducción $\star$ para el fragmento $\{\land, \lor, \to\}$ donde $\to$ se mapea a un operador modal definido $\neg \Diamond(\cdot, \neg \cdot)$.
   • Teorema 1.4: Establece que para la lógica relevante básica $B^+$ y la lógica modal binaria básica $K_2$, $\vdash_{B^+} \phi \to \psi$ si y solo si $\vdash_{K_2} \phi^\star \supset \psi^\star$.
   • Extensión a Lógicas más Fuertes: La traducción se extiende a lógicas axiomatizadas por subconjuntos de los axiomas 7–10 (por ejemplo, $TW^+$, $TWJ^+$, $C^+$). Sin embargo, el artículo demuestra que esta traducción falla para lógicas que requieren contracción (axioma 11) o aserción (axioma 12), tales como $R^+$. El fallo surge porque la semántica de Kripke más simple carece de las condiciones de orden específicas (como la propiedad "down-down-up") inherentes a los marcos de Routley–Meyer que son necesarias para validar estos axiomas.

2. Traducción de Implicación Anidada ($\ast$):

   • Para abordar fórmulas donde el conectivo principal no es $\to$, se introduce una segunda traducción $\ast$, que mapea $\phi \to \psi$ a $\Box_\to(\phi^\star \supset \psi^\star)$.
   • Teorema 1.7: Muestra que $\ast$ proporciona una incrustación completa y fiel de $B^+$ en $K_2$ para todas las fórmulas positivas, realizando a $B^+$ como un fragmento sintáctico de $K_2$.
   • Al igual que la traducción $\star$, este enfoque también encuentra limitaciones al extenderse a lógicas que involucran contracción y aserción.

3. Indecidibilidad e Interpolación:

   • El artículo transfiere resultados de indecidibilidad de las lógicas relevantes a las lógicas modales. Específicamente, demuestra que las lógicas modales que corresponden a las condiciones de los marcos de $TWJ^+$ y $C^+$ son indecidibles (Teorema 1.9), complementando los resultados existentes de Urquhart y otros.
   • El autor plantea preguntas abiertas respecto a la Propiedad de Interpolación de Craig (CIP). Mientras que $K_2$ posee la CIP, se desconoce si $B^+$ la posee. La traducción sugiere que si $B^+$ carece de la CIP, podría deberse al comportamiento específico de la traducción o a la falta de cierto vocabulario.

4. Traducciones Extendidas ($\circ$):

   • Para superar las limitaciones de las traducciones anteriores respecto a la contracción y la aserción, el artículo introduce una traducción a un lenguaje modal más rico que contiene una modalidad nularia $t$ y una modalidad binaria $\circ$.
   • Definición 2.2: Define la Modal $B^+$ ($Mod.B^+$) como la menor lógica modal normal que contiene axiomas de residuación y axiomas correspondientes a las condiciones de los marcos de Routley–Meyer (reflexividad, transitividad, aumentos, etc.).
   • Teorema 2.5: Demuestra que para el lenguaje extendido con $t$ y $\circ$, la traducción $\circ$ es completa y fiel: $\vdash_B \phi$ si y solo si $\vdash_{Mod.B^+} t \supset \phi^\circ$. Esta traducción captura con éxito las restricciones estructurales de los marcos de Routley–Meyer (incluyendo la relación de orden $\leq$) dentro de la semántica de Kripke.
   • Teorema 2.8: Extiende este resultado al lenguaje completo incluyendo la negación $\neg$ mediante la introducción de una modalidad unaria $\Box_\neg$ y las condiciones de marco correspondientes (involución y reversión de orden).

Significancia y Reivindicaciones
El artículo reivindica modestamente aclarar las conexiones estructurales entre las lógicas relevantes y modales a través de una serie de traducciones. Su principal significancia radica en:

• Proveer una traducción completa y fiel de la lógica relevante básica $B$ (y sus extensiones con $t, \circ, \neg$) en una lógica modal normal específica ($Mod.B$), realizando así la lógica relevante como un fragmento sintáctico de la lógica modal.
• Destacar las limitaciones de las traducciones más simples (como $\star$) cuando se aplican a lógicas relevantes más fuertes (como $R^+$), señalando específicamente que los marcos de Kripke estándar no pueden capturar las propiedades de orden necesarias de los marcos de Routley–Meyer sin axiomas o modalidades adicionales.
• Facilitar la transferencia de propiedades metalógicas, tales como la decidibilidad e indecidibilidad, entre las dos tradiciones.
• Identificar preguntas abiertas para trabajos futuros, particularmente respecto a la propiedad de interpolación en $B^+$ y el potencial de profundizar la conexión estructural para incluir lógicas incompletas de marco.

El autor establece explícitamente que el artículo es "exploratorio y amplio en lugar de profundo", dejando un análisis más completo de las motivaciones filosóficas y las relaciones estructurales más profundas para trabajos futuros.