espacio Dialéctica

Los espacios dialécticos son una forma categórica de construir modelos de lógica lineal .

Valeria de Paiva las introdujo en su tesis doctoral como una forma de modelar tanto la lógica lineal como la interpretación dialéctica de Gödel ; de ahí su nombre.

Dada una categoría C y un objeto específico K de C con ciertas propiedades (lógicas), se puede construir la categoría de espacios de Dialectica sobre C , cuyos objetos son pares de objetos de C relacionados por un C - morfismo en K. Los morfismos de los espacios de Dialectica son similares a los morfismos de los espacios de Chu , pero en lugar de una condición de igualdad, tienen una condición de desigualdad , que se interpreta como una implicación lógica : el primer objeto implica el segundo.