Listar Proyectos de Investigación por autor "Hernández, María Valeria"
Mostrando ítems 1-2 de 2
-
Estructuras algebraicas ordenadas asociadas y lógicas no clásicas
Petrovich, Alejandro Gustavo (director); Lattanzi, Marina Beatriz (co-directora); Gatica, María Andrea; González, Luciano Javier; Hernández, María Valeria (2011-01-01)En los últimos años el estudio de lógicas que admiten más de dos valores de verdad ha adquirido una importancia creciente, y ha encontrado, entre otras cosas, importantes aplicaciones en algunas ramas de la computación, ...(proyecto)
-
Estructuras algebraicas ordenadas y lógicas no clásicas
Petrovich, Alejandro Gustavo (director); Lattanzi, Marina Beatriz (co-directora); Gatica, María Andrea; Hernández, María Valeria (2008-01-01)Nos proponemos investigar los modelos algebraicos de ciertas lógicas no clásicas y algunas de sus conexiones con otras ramas de la matemática. Nuestras líneas de investigación abarcan los siguientes aspectos: 1)La noción ...(proyecto)