Horarios Comunicaciones




Lógica y Computabilidad
Aula 208


  18/09/2018 19/09/2018 20/09/2018 21/09/2018
9:20 Una caracterización tipo Mal'cev para unicidad de quasi-identidades
BADANO, Mariana

resumen
9:40 Una dualidad bitopológica para las álgebras de Vries
Celani, Sergio

resumen
Sobre el coproducto finito de álgebras de Hilbert prelineales acotadas finitas
Castiglioni, José Luis / SAN MARTIN, HERNAN JAVIER

resumen
...
10:30 Algebras de Hilbert Modales Positivas
Montangie, Daniela / Celani, Sergio

resumen
Sobre álgebras de Hilbert generadas por cadenas
SAN MARTIN, HERNAN JAVIER / Castiglioni, José Luis / Celani, Sergio

resumen
10:40
10:50 Automorfismos en el álgebra libre $Free_{\mathcal{MG}}(n)$
Lubomirsky, Noemí / Castiglioni, José Luis

resumen
Álgebras de Kleene con negación débil de Nelson
MARCOS, Miguel / BUSANICHE, Manuela / GOMEZ, Conrado / SAN MARTÍN, Hernán

resumen
11:00
11:10 Álgebras casi-Heyting
GONZALEZ, Luciano Javier / Celani, Sergio / Calomino, Ismael

resumen
Un análisis semántico para algunas lógicas modales monótonas con conjunción
Menchón, María Paula / Celani, Sergio

resumen
11:20
11:30 Generalizaciones de la Demostración de Completitud de Kalmár
Fernández, Víctor / Pezzini, Luis / Hoffmann, Guillaume

resumen
El funtor de Kalman para retículos distributivos pseudocomplementados
GOMEZ, Conrado / BUSANICHE, Manuela / MARCOS, Miguel / SAN MARTÍN, Hernán

resumen
...
15:00 Módulos sobre retículos completos y categorías residuadas
Redondo, María Julia / FIGALLO, Martín

resumen
Un proceso de Markov etiquetado con ordinal de Zhou $\omega_1$
Moroni, Martín Santiago / Sánchez Terraf, Pedro

resumen
15:10
15:20 \Large \bf $\mbox{\boldmath $NS_{3\times 3}$}$-algebras and symmetrical Heyting algebras
Gallardo , Carlos Alberto / Ziliani, Alicia

resumen
Ultraproductos y álgebras de multiplicadores
Poggi, Facundo Sebastian / Sasyk, Román

resumen
15:30
15:40 Funciones Algebraicas en $\ell$-grupos
Campercholi, Miguel / Castaño, Diego / Gispert, Joan / Díaz Varela, Patricio

resumen
The Cantor-Bernstein-Schröder theorem via universal algebra
Freytes, Hector

resumen
...
16:50 Funciones algebraicas en MV-algebras perfectas
Castaño, Diego / Campercholi, Miguel / Díaz Varela, Patricio / Gispert, Joan

resumen
Primeros pasos de una formalización de Forcing
Gunther, Emmanuel / Pagano, Miguel / Sánchez Terraf, Pedro

resumen
...
17:30 Complex EBL-álgebras subdirectamente irreducibles
Cordero, Penélope

resumen