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.
We study a system, $\mu$L$\Pi$, obtained by an expansion of L$\Pi$ logic with fixed points connectives. The first main result of the paper is that $\mu$L$\Pi$ is standard complete, i.e. complete with regard to the unit interval of real numbers…