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.
