[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/20171102/f840d7e1/attachment.html>