Sesión Lógica y Computabilidad
Comunicaciones
Diciembre 12 - Aula 8, Pabellón 1
| 15:30 ~ 16:10 | Model Completion of the theory of Steiner quasigroups Casanovas, Enrique Autores: Casanovas, Enrique / Barbina, Silvia |
| 16:10 ~ 16:50 | Commutators of simply-connected o-minimal groups Baro, Elías Autores: Baro, Elías |
| 17:30 ~ 18:10 | Sobre un problema en el campo de las aritméticas débiles y su relación con construcciones de funciones computables Cordón-Franco, Andrés Autores: Cordón-Franco, Andrés / Lara-Martín, Francisco Félix |
| 18:10 ~ 18:30 | Rotaciones generalizadas de retículos residuados Busaniche, Manuela Autores: Busaniche, Manuela |
| 18:30 ~ 18:50 | Equivalencia categórica para ciertas variedades generadas por rotaciones generalizadas de retículos residuados MARCOS, Miguel Andrés Autores: MARCOS, Miguel Andrés |
Diciembre 13 - Aula 8, Pabellón 1
| 11:00 ~ 11:20 | Álgebras de Gödel monádicas RUEDA, Laura Autores: CASTAÑO , Diego / CIMADAMORE, Cecilia / DIAZ VARELA, José Patricio / RUEDA, Laura |
| 11:20 ~ 11:40 | Sobre la extensión de Heyting libre de un álgebra de Hilbert Hernán Javier, San Martín Autores: CASTIGLIONI, José Luis / Hernán Javier, San Martín |
| 11:40 ~ 12:00 | Sobre la extensión de Heyting libre de un álgebra de Hilbert: una perspectiva topológica CASTIGLIONI, José Luis Autores: CASTIGLIONI, José Luis / Hernán Javier, San Martín |
| 12:00 ~ 12:20 | Subvariedades de p-álgebras de Kleene CASTAÑO, Valeria Marcela Autores: CASTAÑO, Valeria Marcela / Muñoz Santis, Marcela Paola |
Diciembre 14 - Aula 8, Pabellón 1
| 11:00 ~ 11:20 | Lógicas Abstractas Determinadas por Intersecciones y por Uniones Fernández, Víctor Autores: Fernández, Víctor / Brunetta, Cristian |
| 11:20 ~ 11:40 | Una prueba para la completud de la lógica monádica de Lukasiewicz DIAZ VARELA, José Patricio Autores: DIAZ VARELA, José Patricio / Castaño, Diego Nicolás |
| 11:40 ~ 12:00 | Teoria de Modelos y logica de primer orden de un reducto intuisionista algebras de Lukasiewicz-Moisil SLAGTER, Juan Sebastián Autores: SLAGTER, Juan Sebastián / FIGALLO ORELLANO, Aldo |
| 12:00 ~ 12:20 | Subordinaciones y operadores cuasi-modales en álgebras de Tarski CELANI, Sergio Arturo Autores: CELANI, Sergio Arturo |
| 15:30 ~ 16:10 | Teoría de modelos de acciones fuertemente ergódicas Ibarlucía, Tomás Autores: Ibarlucía, Tomás |
| 16:10 ~ 16:50 | El principio variacional de Ekeland, el teorema de punto fijo de Caristi, y sistemas fuertes de la aritmética David, Fernández Duque Autores: David, Fernández Duque / Paul, Shafer / Henry, Towsner / Keita, Yokoyama |
| 17:30 ~ 17:50 | Filtros primos y maximales en la subvariedad de BL-\'{a}lgebras generada por $[0,1]_{\textbf{MV}}\oplus H$. LUBOMIRSKY, Noemí Autores: LUBOMIRSKY, Noemí / Busaniche, Manuela / CASTIGLIONI, José Luis |
| 17:50 ~ 18:10 | BL-álgebras Epistémicas Cordero, Penélope Autores: Cordero, Penélope / Busaniche, Manuela / Rodríguez, Ricardo |
| 18:10 ~ 18:30 | Fórmulas interremplazables y categorías de lógicas VIBRENTIS, Francisco Autores: VIBRENTIS, Francisco / CASTIGLIONI, José Luis |
| 18:30 ~ 18:50 | On fuzzy modal logics KD45(C) Rodríguez, Ricardo Autores: Rodríguez, Ricardo |
Diciembre 15 - Aula 8, Pabellón 1
| 11:00 ~ 11:20 | ${ I}_n-\acute algebras$ con operadores de Moisil Sarmiento, Jonathan Autores: Sarmiento, Jonathan / Figallo, Aldo Victorio / Pelaitay, Gustavo |
| 11:20 ~ 11:40 | Un cálculo de secuentes para la lógica {\bf \em Six} Cantú , Liliana Mónica Autores: Cantú , Liliana Mónica / FIGALLO, Martín |