Luca Spada

Luca Spada

Fixed points in many-valued logic

A -quite lengthy- presentation on fixed points in many-valued logic.  Plenary lecture at the conference Logic, Algebra and Fundamentals of Computer Sciences, Bucharest, May 16, 2008. Fixed points in many-valued logic

Free $\mu$ŁΠ algebras

A presentation of the functional representation of the free μŁΠ algebras, this result, together with this and some more were collected in this paper. Given at Topological and Algebraic Methods in Non Classical Logics -TANCL- III, Oxford, 6-9 August 2007. Free muLPi…

Forcing in Łukasiewicz logic

A presentation of this work on Forcing in Łukasiewicz logic given at the $3^{rd}$ MATHLOGAPS Workshop in Aussois (France), $24^{th} − 30^{th} June 2007. Forcing in Łukasiewicz logic