Horario | Título | Expositor/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 |
Horario | Título | Expositor/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 |