<div dir="ltr"><div class="gmail_default" style="font-family:trebuchet ms,sans-serif"><br></div><div class="gmail_extra"><span><span>Seminario de algebra y temas afine</span>s</span><br><div class="gmail_quote"><span><span><div class="gmail_extra">Lunes<div class="gmail_default" style="font-family:trebuchet ms,sans-serif;display:inline">​ ​</div>6 de Noviembre de 2017​<div class="gmail_quote">​<span></span><span><span><span>Salon de seminarios del piso 14 Cmat<div class="gmail_default" style="font-family:trebuchet ms,sans-serif;display:inline">​, ​</div></span></span></span><span><span><span>1330 1430</span></span></span><div class="gmail_extra"><span><div><div><span><span><span><div style="font-family:trebuchet ms,sans-serif;display:inline">​​</div>​</span></span></span>Expositor<span><span><span></span></span></span><div class="gmail_default" style="font-family:trebuchet ms,sans-serif;display:inline">​ ​</div>Walter Ferrer​<span><span></span></span><div class="gmail_extra"><div style="font-family:trebuchet ms,sans-serif">​<br></div><br><div><div>Título:<div class="gmail_default" style="font-family:trebuchet ms,sans-serif;display:inline">​ Álgebras implicativas.<br><br></div><div class="gmail_default" style="font-family:trebuchet ms,sans-serif;display:inline">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. <br></div><div class="gmail_default" style="font-family:trebuchet ms,sans-serif;display:inline">Con Guillermo y Malherbe hemos desarrollado algunos aspectos de esta teoría con vista de la realizabilidad clásica. <br></div><div class="gmail_default" style="font-family:trebuchet ms,sans-serif;display:inline">En la presente charla me concentraré en los aspectos algebraicos y categóricos de estos trabajos. <br></div><div class="gmail_default" style="font-family:trebuchet ms,sans-serif;display:inline">La exposición será básicamente autocontenida y las menciones a temas de fundamentos son de carácter informativo y no técnico.<br></div><div class="gmail_default" style="font-family:trebuchet ms,sans-serif;display:inline">​</div><div>​<br></div><span> </span></div></div></div></div></div></span></div></div></div></span></span></div></div></div>