UMA 2022

Reunión Anual de la Unión Matemática Argentina

 

Sesión Lógica y Computabilidad

Miércoles 21, Septiembre

HorarioTítuloExpositor/a
9:00 ~ 9:20 Una nota sobre retículos con una relación de precontacto Luciana Valenzuela
9:20 ~ 9:40 Núcleos sobre reticulados residuados Sebastián Andrés Buss
9:40 ~ 10:00 s-filtros en semigrupos implicativos Valeria Castaño
10:30 ~ 10:50 Sistemas de prueba y aplicaciones para {\bf Ciore} y su versión de primer orden Victoria Arce Pistone
10:50 ~ 11:10 Una Lógica de XPath con Datos Intuicionista Danae Dutto
11:10 ~ 11:30 Operadores de Revisión Moderada Daniel Grimaldi
11:30 ~ 11:50 La independencia de $\mathit{CH}$ formalizada en Isabelle/ZF Pedro Sánchez Terraf

Jueves 22, Septiembre

HorarioTítuloExpositor/a
8:40 ~ 9:00 Álgebras de Hilbert Modales Fischer Servi Daniela Montangie
9:00 ~ 9:20 Estudio de la dualidad topológica para álgebras de Gödel monádicas Roberto Matias Alvarez
9:20 ~ 9:40 Lógica Algebraica para el $\{\neg\}$-fragmento de la lógica clásica Luciano J. González
9:40 ~ 10:00 Algunas propiedades de conjuntos ordenados por órdenes parciales definidos sobre matrices Cecilia Rossana Cimadamore
10:30 ~ 10:50 Existencia de Semánticas Matriciales para las lógicas bivaluadas $Ciu^n$ Víctor Fernández
10:50 ~ 11:10 Lógica modal coalgebraica para probabilidades superiores e inferiores. Andrés Gallardo
11:10 ~ 11:30 Lógicas que preservan grados de verdad con respecto a diferentes estructuras temporales Jonathan Matias Sarmiento
11:30 ~ 11:50 Una nueva prueba de completitud para una familia de lógicas de primer orden que provienen de las álgebras de Monteiro Juan Sebastián Slagter