En el mundo de la lógica existe un puente. Se tiende sobre el abismo que separa la admisibilidad de una regla de su derivabilidad a partir de los axiomas. Mientras las reglas manejan un número finito de premisas, el puente es firme: en la lógica clásica, todo lo que no viola la verdad ya está contenido en la sintaxis. Pero al añadir premisas infinitas, los pilares empiezan a temblar. El puente, ay, no lo puede todo.

La completitud estructural es una propiedad de un sistema lógico por la cual toda regla admisible (que no añade nuevos teoremas) es derivable de los axiomas. En 1971, W. Pogorzelski introdujo esta noción, y desde entonces sirve como piedra de toque para muchas lógicas no clásicas. La lógica intuicionista, por ejemplo, no es estructuralmente completa: existen reglas que preservan la verdad en todos los modelos de Heyting pero no son derivables de los axiomas. Sin embargo, para algunos de sus fragmentos —las lógicas de Dummett (LC) y Medvedev (ML)— el puente soporta el tráfico finito.

El problema llega cuando se permiten conjuntos infinitos de premisas. La propiedad llamada κ-completitud estructural (donde κ es un cardinal que acota el número de premisas y variables) resulta extremadamente frágil. En el nuevo trabajo se demuestra: si una variedad congruencia-distributiva de tipo finito está generada por álgebras finitas, entonces para cualquier κ > ω la κ-completitud estructural equivale a la tabularidad —es decir, a ser generada por una sola álgebra finita. Dicho de otro modo, el puente solo resiste cuando todo el universo cabe en una tabla finita. Las lógicas LC y ML, cuyas clases de modelos contienen álgebras infinitas e indescomponibles, fallan esta prueba. Una regla infinita admisible —por ejemplo, una cuasiecuación limitante ω— no puede derivarse de una base finita.

La técnica de construcción de estos contraejemplos es elegante: para cada par de elementos distintos del álgebra se introduce una condición que los vincula con un par distinguido del monolito. Si el álgebra es finita, todas las condiciones se cumplen y la conclusión es forzosa. Para álgebras infinitas, en cambio, se encuentra una valuación que la refuta. Este artificio generaliza el método clásico de Jankov y se apoya en cuasiecuaciones κ-características para álgebras indescomponibles, que actúan como átomos en la estructura de la variedad.

El puente de la lógica, según se ve, es una construcción para mundos finitos. El infinito, al irrumpir en las reglas, lo derrumba en el abismo entre sintaxis y semántica. Este descubrimiento no es una mera curiosidad: conecta la completitud estructural con cuestiones profundas de axiomatizabilidad finita y decidibilidad. En perspectiva, queda la axiomatización de los fragmentos fuertemente completos de la lógica intuicionista, la búsqueda de bases óptimas y la clarificación de esa fina frontera donde las consecuencias finitarias se vuelven no finitarias. El puente sobrevivirá solo si permanecemos en la orilla de lo finito.