Buscar
Mostrando ítems 1-3 de 3
Un estudio algebraico de operadores temporales definibles en versiones algebraicas de diversas lógicas
(2015)
El volumen que aquí presentamos está organizado en cinco capítulos. En
el primero se describen resultados conocidos que facilitarán la lectura de la
tesis, el mismo no tiene pretenciones de originalidad.
El Capítulo 2 ...
Avances en teoría de modelos : lógicas de primer orden y teoría paraconsistente de conjuntos
(2023)
Antonio Monteiro realizó una caracterización de las congruencias maximales para ciertas variedades semisimples, permitiendo presentar un teorema de representación de las
mismas; que bajo condiciones específicas, este ...