Course on Many-Valued Logic at ILLC
Starting form the 1st of September 2014, I will teach a course on Many-Valued Logics at the University of Amsterdam. The webpage with all the details can be found here.
Starting form the 1st of September 2014, I will teach a course on Many-Valued Logics at the University of Amsterdam. The webpage with all the details can be found here.
These are the slides of my tutorial on Dualities at the $16^{th}$ Latin American Symposium on Mathematical Logic. 28th July – 1st August 2014. Buenos Aires, Argentina. A shorter version can be found here.
This is a back up reference of the page of the course on Algebra and Coalgebra (Autumn 2013). Capita Selecta in Modal Logic, Algebra and Coalgebra (Autumn 2013) This page concerns the course `Capita Selecta in Modal Logic, Algebra and…
Starting from the 29th of October I will start teaching a course with Yde Venema at the University of Amsterdam on Algebra and Coalgebra. The webpage of the course can be found here.
This year I will give a series of introductory lectures on Mathematical Logic for the course “Matematica Discreta e Logica Matematica” at the B.Sc. in Computer Science. I will try to write down some lecture notes, but in the meanwhile…