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
Small advances in the algebraic proof theory of substructural logics
A marginal note on algebraic proof theory delivered at the conference Topology, Algebra, and Category in Logic -TACL- IV. Amsterdam, 10 July 2009.
Small advances in the algebraic proof theory of substructural logics
The geometry of free MV$_n$ algebras
A seminar on the results contained here delivered at the Department of Communication Science of the University of Milano, 27 October 2008.
The geometry of MV$_n$ algebras
