Trabaja en el área de lógica, especialmente lógica universal y lógica paraconsistente.