Horarios Comunicaciones
Lógica y Computabilidad
Aula 208
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 |