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

 

Back to top