Research

My current research is devoted to many-valued logics. Specifically:

• Substructural Logics

• Algebraic Logic

• Computational Complexity of many-valued logics

• Residuated lattices and related properties

• First-order many-valued logics and model theory