My research is mainly in Philosophical Logic. Nowadays I'm working on Metainferential Logics, Many-valued Logics, Substructural Logics and Contra-Classical Logics. I am interested in the notions of Truth and Validity, specially in relation with semantic paradoxes, the expressive limits of formal languages, and also in the meaning of logical constants and the relation between proof systems and semantics. My personal page is: