Nick, Nick and I have finished the paper about canonical formulas for -potent residuated lattices. A (incomplete) presentation of the paper can be found here. The paper can be downloaded here The abstract reads as follows: Canonical formulas are a powerful tool…
Corso di Matematica per l’Economia e Matematica Finanziaria (I semestre 2015/16) Contenuti della pagina News Descrizione del corso e prerequisiti Materiale del corso Aspetti pratici Esercizi/Esami Descrizione del corso Prerequisiti È richiesta familiarità con gli argomenti di base di matematica…
This is the abstract of a talk I gave in Florence at Beyond 2014. Given a category one can form its ind-completion by taking all formal directed colimits of objects in . The “correct” arrows to consider are then families…
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.