Sobre subreductos de retículos subresiduados

FEDERICO MALLEA

San Juan

Congreso; 1° Congreso Latinoamericano de Ciencia, Tecnología y Sociedad; 2022

Los retículos subresiduados fueron introducidos durante la década de 1970 por Epstein y Horn como una contraparte algebraica de algunas lógicas con implicación fuerte previamente estudiadas por Lewy y Hacking. Un retículo subresiduado es un par (A, D), donde A es un retículo distributivo acotado y D es un subretículo acotado de A tal que para cada a,b∈A el conjunto E_ab≔{d∈D:d∧a≤b} tiene elemento máximo. En este caso definimos la operación binaria → como sigue a→ b∶=max E_ab. En esta charla se presentará un breve estudio sobre algunos subreductos de importancia de los retículos subresiduados.