La Lógica Difusa Compensatoria es un modelo lógico multivalente que renuncia a varios axiomas clásicos para lograr un sistema multivalente idempotente y ‘sensible’ que asimila virtudes de las escuelas descriptiva y normativa de la Toma de decisiones, pues permite la compensación de los atributos (en este caso predicados), pero si son violados ciertos umbrales hay un veto que impide la compensación.

Al mismo tiempo, las propiedades que satisface hacen posible de manera natural el trabajo de traducción del lenguaje natural al de la Lógica, incluidos los predicados extensos si éstos surgen del proceso de modelación.

En esta propuesta, el operador conjunción (c) es la media geométrica, la negación, la clásica función n(x)=1-x y la disyunción (d) el operador dual de la media geométrica, que garantiza el cumplimiento de las reglas de De Morgan