Desde fines del siglo pasado, las investigaciones en lógica sobre la inferencia heterogénea y la inferencia diagramática han señalado la necesidad de precisar las reglas de transformación para esos -sistemas, precisión ...