Hizo aportaciones destacadas en teoría de conjuntos, lógica polivalente, niveles de lenguaje y metalenguaje y conceptos semánticos.