Catedrático jubilado de Lógica de la Universidad de Salamanca.
Áreas de investigación: lógica filosófica, especialmente lógicas modales, multivaluadas y de la relevancia.
Página web personal: https://sites.google.com/site/sefusmendez