## Many-Valued Logics

This is my main interest, in particular in the last years I have been working on MV-algebras and Lukasiewicz logic. My previous works were around extensions of fuzzy logics with fixed points and the LΠ Logic and its algebraic semantics.

Other interests are: **Algebraic Logic**, **Category Theory**,** Substructural logics**, and **Model Theory**.