Omitting type theorems for Łukasiewicz Logic
This is an account of some -still unpublished- natural continuation of the ideas contained here. It was delivered at the conference ManyVal10, in Varese, 3d May 2010.
Omitting type theorems for Łukasiewicz Logic
A uniform version of Di Nola Theorem
A talk on the content of this paper, delivered at international workshop Probability, Uncertainty and Rationality, Certosa di Pontignano, Siena 1-3 November 2009.
A uniform version of Di Nola theorem
Some consequences of compactness in Łukasiewicz Predicate Logic
A presentation of the results contained here given at the conference VII Panhellenic Logic Symposium 2009. Patras, 16 July 2009.
Some consequences of compactness in Lukasiewicz Predicate Logic
Introduction to Fuzzy Sets and Fuzzy Logic
These are the slides of a 6 hours course taught at the school REASONPARK. Foligno, 17 – 19 September 2009.
Introduction to Fuzzy Sets and Fuzzy Logic (slides)
and
Introduction to Fuzzy Sets and Fuzzy Logic (handout)
Advances in the theory of fixed points in many-valued logics
This is a communication on some development of an idea suggested by K. Terui on how to handle nested fixed points in many-valued logic.
Advances in the theory of fixed points in many-valued logics
