1/1/2024 - 31/12/2025
Las álgebras de Nelson constituyen la contraparte algebraica de la lógica constructiva de Nelson con negación fuerte. En un trabajo que se encuentra en redacción (trabajo en conjunto con Noemí Lubomirsky y Paula Menchón) introdujimos la variedad cuyos miembros se denominan álgebras de Nelson subresiduadas; esta variedad contiene propiamente a la variedad de las álgebras de Nelson. En particular, en dicho trabajo se generaliza, en el marco de los sr-retículos, la bien conocida y estudiada relación entre las álgebras de Heyting y las álgebras de Nelson. Más precisamente, se probó el siguiente teorema de representación: toda álgebra de Nelson subresiduada puede sumergirse en un álgebra de Nelson subresiduada dada por una estructura twist (la cual se construye a partir de un sr-retículo). El objetivo general de este proyecto es estudiar la variedad de àlgebras de Nelson subresiduadas y su contraparte lógica.