Propuso nuevas operaciones para el cálculo de la lógica y demostró que la lógica difusa fue una generalización de la clásica y lógica booleana.