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 |