<div dir="ltr">Dear all,<div><br></div><div>The information on this week's MSGSÜ Mathematics Dept. General Seminar is below.</div><div><span style="font-family:arial,sans-serif">------------------------------</span><span style="font-family:arial,sans-serif">------------------------------</span><span style="font-family:arial,sans-serif">----------</span><br></div><div><div><font face="arial, sans-serif" color="#000000"><b><br></b></font></div><div><font face="arial, sans-serif"><font color="#000000"><b>Speaker:</b><b> </b></font></font> Jean-Yves Béziau <font face="arial, sans-serif"><font color="#000000"> (</font></font>Universidade Federal do Rio de Janeiro<font face="arial, sans-serif"><font color="#000000">)</font></font></div><div><span style="color:rgb(0,0,0);font-family:arial,sans-serif"><br></span></div><div><font face="arial, sans-serif"><font color="#000000"><b>Title: </b></font></font>Universal logic- A General Framework to Unify the Diversity of Logical Systems</div><p class="MsoNormal" style="margin:0cm 0cm 0.0001pt;line-height:normal"><font color="#000000" face="arial, sans-serif"><br></font></p><div><font face="arial, sans-serif"><font color="#000000"><b>Abstract:</b> </font></font>In this talk I will explain the origin and development of universal logic. I will emphasize that it is not a logical system but a general theory of logical systems. <br>I will explain the connection with metalogic and the relation with universal algebra. I will give examples of applications, what has been done and what can be done.<br></div><p class="MsoNormal" style="margin:0cm 0cm 0.0001pt;line-height:normal"><font face="arial, sans-serif"> </font></p><b style="color:rgb(0,0,0);font-family:arial,sans-serif">Time: </b><span style="color:rgb(0,0,0);font-family:arial,sans-serif">17 November 2022 Thursday, 16:00</span><div><br></div><div><b>Place:</b> MSGSÜ Bomonti Campus - Mathematics Dept. Seminar Room</div></div></div>