This year I teach a course (12 hours) a the AILA summer school of logic. Below one can find the slides of my first three lectures and some references. Lecture 1 (Classical propositional logic and Boolean algebras) Lecture 2 (Algebraic completeness of…
Course on Many-Valued Logics (Autumn 2014) This page concerns the course `Many-Valued Logics’, taught at the University of Amsterdam from September – October 2014. Contents of the page News Contents of the classes Course material Practicalities Grading and homework assignments Course Description and…
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.
This year I will teach the course “Logica II” for the M.sc. degree in Computer Science. I think I will follow Moore’s modified method for the course (see also the wikipedia entry for the original method). There are some freely available…