Retículos residuados de tipo Nelson

BUSANICHE, MANUELA

Seminario; Seminario de Lógica Algebraica; 2020

Universidad del Centro de la Provincia de Buenos Aires.

Los retículos residuados constituyen una herramienta fundamental en el estudio y análisis de los sistemas de lógicas subestructurales, puesto que las contrapartes algebraicas de estas lógicas están basadas en dichas álgebras.En los últimos años hemos estudiado clases de retículos residuados involutivos y conmutativos que pueden representarse por estructuras twist. Casos particulares son los retículos residuados de Nelson (equivalentes por términos a las álgebras de Nelson), los retículos residuados paraconsistentes de Nelson y los retículos de Kalman.Si bien las técnicas para el alcanzar la representación de cada una de estas clases de retículos residuados por estructuras tipo twist son similares, no son exactamente las mismas y por eso no es trivial enmarcar a todas estas álgebras dentro de una clase o variedad de retículos residuados involutivos. En la presente charla daremos algunas ideas para lograr este propósito, esto es, tratar de caracterizar la clase de retículos residuados representables por estructuras twist.Los temas que se expondrán son parte de un trabajo en preparación en conjunto con Miguel Marcos y Nick Galatos.