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

 

 

Resúmenes



Notice: Undefined index: year in /var/www/uma/comunicaciones/programs/functions.php on line 479

Notice: Undefined index: month in /var/www/uma/comunicaciones/programs/functions.php on line 479

Fatal error: Uncaught Error: Call to a member function getTimestamp() on boolean in /var/www/uma/comunicaciones/programs/functions.php:481 Stack trace: #0 /var/www/uma/comunicaciones/programs/functions.php(503): scheduleString(Array, '') #1 /var/www/uma/comunicaciones/session-abstracts.php(203): displaySchedule(Array, '') #2 {main} thrown in /var/www/uma/comunicaciones/programs/functions.php on line 481