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.
Tutorial on Dualities
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.
Canonical formulas for k-potent residuated lattices
Here are the slides of my presentation at Logic, Algebra and Truth Degrees 2014 (LATD 2014), 16-19 July 2014, Vienna, Austria. The conference was part of the wonderful Vienna Summer of Logic. Canonical formulas
Dualities and geometry
Finally I wrote some slides about the long-waiting article I am writing together with Olivia Caramello and Vincenzo Marra on adjunctions, dualities, and Nullstellensätze . These slides where presented at the AILA meeting in Pisa and at the Apllied Logic…
Two isomorphism criteria
These are the slides of a presentation given in Stellenbosch on two isomorphisms criteria for co-limits of sequences of finitely presented or finitely generated objects in a locally small categories. The preprint containing full proofs and applications of these two…