Los retículos hemi-implicativos son definidos como retículos con último elemento, el cual será denotado por 1, junto con una operación binaria ---> la cual satisface las siguientes ecuaciones: 1) x ---> x = 1, 2) x ínfimo (x ---> y) menor o igual que y. Un retículo distributivo acotado hemi-implicativo se define como un retículo hemi-implicativo cuyo retículo subyacente es distributivo y tiene primer elemento. Recientemente logramos generalizar, en el marco de los retículos distributivos acotados hemi-implicativos, la bien conocida y estudiada relación entre las álgebras de Heyting y las álgebras de Nelson (cambiando álgebras de Heyting por retículo distributivo acotado hemi-implicativo y álgebras de Nelson por álgebras de hemi-Nelson). Más precisamente, se probó el siguiente teorema de representación: toda álgebra de hemi-Nelson puede sumergirse en un álgebra de hemi-Nelson dada por una estructura twist (la cual se construye a partir de un retículo distributivo acotado hemi-implicativo). El objetivo general del presente plan es estudiar en profundidad las álgebras de hemi-Nelson

---

Línea de investigación:
Tipo de investigación: Aplicada
Palabras clave: Nelson, álgebras, generalización