Tutorial on Lukasiewicz logic and MV-algebras at the summer school in Campinas.
Prior to the MaToMUVI conference Philosophy and Mathematics of Uncertainty and Vagueness organised at CLE (UniCamp, Brazil), there will be a summer school for young researchers and undergaduate students. I will give a short tutorial on MV-algebras (seen in a broad perspective). I (hand-wrote) some notes that can be downloaded here. Take it cum grano salis, they are just notes I have used to follow a line of thoughts, still I believe they can be useful to the audience as they contain both specific references to the results presented and some good books giving an updated account of the subject.
Logica II per Informatica
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 notes, looking promising, I will use during the course.
Other reference (standard books) that may be used as sources of inspiration during the course are:
- Mendelson, E. Introduction to Mathematical Logic. Chapman & Hall 2009.
- Mundici, D. Logica – Metodo breve. Springer Verlag 2011.
- Asperti, A. and Ciabattoni, A. Logica a Informatica. McGraw-Hill 2003
Further information will follow on this website.
Fuzzy Logic and Algebra: an overview
An introductory lecture on the interplay between fuzzy logic and algebra given at the second MATHLOGAP Workshop in Leeds 21-25 August 2006.
Fuzzy Logic and Algebra An overview
