[Todos CMAT] Recordatorio Seminario de Algebra y temas afines Cmat/ 2 Semestre de 2017

[Walter Ferrer]

> Seminario de algebra y temas afines
> Lunes
> ​ ​
> 6 de Noviembre de 2017​
> ​Salon de seminarios del piso 14 Cmat
> ​, ​
> 1330 1430
> ​​
> ​Expositor
> ​ ​
> Walter Ferrer​
> ​
>
> Título:
> ​ Álgebras implicativas.
>
> Las álgebras implicativas fueron definidas por A. Miquel con el propósito
> de servir de fundamento para diferentes aspectos de la lógica en particular
> de la teoría de la realizabilidad.
> Con Guillermo y Malherbe hemos desarrollado algunos aspectos de esta
> teoría con vista de la realizabilidad clásica.
> En la presente charla me concentraré en los aspectos algebraicos y
> categóricos de estos trabajos.
> La exposición será básicamente autocontenida y las menciones a temas de
> fundamentos son de carácter informativo y no técnico.
>
------------ próxima parte ------------
Se ha borrado un adjunto en formato HTML...
URL: <http://listas.cmat.edu.uy/pipermail/todos/attachments/20171105/2b42cb0e/attachment.html>